jwodder / kbits
A blog of things I wish I'd already found
☆15Updated 2 months ago
Alternatives and similar repositories for kbits:
Users that are interested in kbits are comparing it to the libraries listed below
- ☆15Updated 11 months ago
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated last month
- ☆14Updated last year
- A python implementation of delta debugging tool.☆23Updated last year
- Fun with wgpu: Simulating slime mold☆24Updated 6 months ago
- Visualization of Huffman coding☆27Updated 2 years ago
- Interpolate between embedding points with llm☆33Updated 7 months ago
- A Low Barrier Proof Assistant☆75Updated this week
- Proof Of Concept for python package management without virtualenvs☆29Updated 10 months ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆10Updated 4 months ago
- Programming Languages Grammar House (BNF like grammars)☆26Updated 5 months ago
- Inline Haskell inside your Python code☆25Updated 3 months ago
- User-configurable login shell configured by the SHELLS environment variable.☆20Updated 9 months ago
- A JS devtool orchestrator☆40Updated this week
- ⚡️ A semantic line breaker that truly breaks lines semantically. Powered by Transformers.☆20Updated 5 months ago
- A very minimal implementation of the core idea of Hypothesis☆133Updated 7 months ago
- A library for writing command line tools.☆10Updated last year
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated 11 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Python packaging scenarios☆112Updated 2 weeks ago
- 🪄 Tiny challenges for learning WebAssembly☆67Updated last month
- The symbolic links manager for your configuration files☆34Updated this week
- A TLA+ AutoRepair System For Formal Specification with GPT-4☆14Updated last year
- SVG viewer in SVG☆17Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated last year