-
@mention springernature
- London, UK
Lists (1)
Sort Name ascending (A-Z)
Stars
List of resources for learning Category Theory
A deterministic algorithm for finding Goldbach pairs for all even numbers greater than 2
A post-apocalyptic actionRPG. Now on Steam!
Spreadsheet.Institute/ website + Spreadsheet Lisp source repository
Scala library for efficient multi-dimensional arrays
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
A 2D game programming library written in and for Scala Native.
Numerical experiments involving the prime imbalance
Tutorials and programming exercises for learning Q# and quantum computing
A community driven list of useful Scala libraries, frameworks and software.
Code to process many kinds of content by an author into an MCP server
Programs to process GoPro MP4 & Generic GPX/FIT files and create video dashboards & maps
A native Rust library for Delta Lake, with bindings into Python
A pragmatic & testable approach to work with side-effect code in scala
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Generate the free idempotent monoid for 3 letters
libsodium and libb2 bindings for Racket, plus an implementation of the Noise Protocol Framework
A statically typed lisp, without a GC, for real-time applications.