lazamar / compressor
A lossless data compression program in Haskell using Huffman codes
☆10Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for compressor
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆25Updated 7 months ago
- Autoregressive transformers in APL☆89Updated last month
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Reference counting with linear types☆30Updated 4 months ago
- A toy Wolfram language interpreter.☆34Updated 2 weeks ago
- Brzozowski derivative python sketch☆83Updated 7 months ago
- Binary Lambda Calculus Virtual Machine☆45Updated 9 months ago
- ☆53Updated 3 years ago
- Convert images to fit Commodore 64 graphic modes☆40Updated 6 months ago
- 🪝"mnist" in 60 lines of code, no dependencies. For educational purposes.☆32Updated 4 months ago
- A Markdown to HTML compiler written in Haskell.☆15Updated 6 months ago
- ISBL - Information Systems Base Language☆18Updated 10 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆93Updated 7 months ago
- A C11 compiler for the discrete logic computer☆20Updated 7 months ago
- A next-generation high-performance operating system focused on enterprise-level resilience☆74Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆66Updated last week
- egg is a flexible, high-performance e-graph library☆9Updated 7 months ago
- An ngn/k tutorial.☆195Updated 5 months ago
- What impact does floating point precision have on Mandelbrot set calculations?☆107Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- Various Futhark benchmark programs☆40Updated 3 weeks ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- the origins of J☆60Updated last year
- Pi number calculator using 8088 assembly language☆63Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆44Updated last week
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- Run erlang as a WASI http server (vapourware)☆26Updated this week
- A tiny, self-contained, general-purpose quantum interpreter.☆45Updated last year
- A probabilistic approximate DNF counter☆36Updated 6 months ago