Alternatives and similar repositories for compressor:

Users that are interested in compressor are comparing it to the libraries listed below

• HnimNart / deeplearning
  ☆53Updated 3 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆23Updated last week
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 2 months ago
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆107Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 6 months ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 4 months ago
• engboris / stellogen
  A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
  ☆70Updated this week
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated 2 months ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 9 months ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• mtantaoui / Integrate
  a small, lightweight crate for numerical integration written in Rust.
  ☆101Updated this week
• b-mehta / exponential-ramsey
  ☆13Updated last year
• trishume / twitterperf
  Prototyping the performance of various components of a theoretical faster Twitter
  ☆63Updated 2 years ago
• tensor-fusion / GPT-Haskell
  A pure Haskell implementation of a decoder-only transformer (GPT)
  ☆18Updated 6 months ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆44Updated 7 months ago
• constructive-symmetry / constructive-symmetry
  A Philosophy of Math Education
  ☆13Updated last month
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆114Updated 8 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated last year
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆46Updated last week
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆94Updated 2 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆69Updated 4 months ago
• ButlerOS / haskell-butler
  ☆89Updated 2 months ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆56Updated last year