ultorg / public_issuesLinks
Public issue tracker for the Ultorg Desktop application
☆14Updated 2 years ago
Alternatives and similar repositories for public_issues
Users that are interested in public_issues are comparing it to the libraries listed below
Sorting:
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 11 months ago
- a 64-bit histogram / quantile sketch☆59Updated 7 months ago
- ☆50Updated 3 months ago
- A little library of bit-based data structures.☆17Updated last week
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆96Updated 10 months ago
- Backtrace.io's resilient log record framing format☆38Updated 3 years ago
- Zig library for HyperLogLog estimation☆89Updated last year
- 😎 A curated list of WebAssembly runtimes☆58Updated 9 months ago
- An interactive Datalog☆48Updated 2 weeks ago
- Idol, an IDL and binary encoding for zero-copy local IPC☆50Updated 10 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆106Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆134Updated 6 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- Various implementation of byte matrix multiplication☆26Updated 7 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- Fun with wgpu: Simulating slime mold☆24Updated last year
- SQLite3 extension for read-only HTTP(S) database access☆55Updated last year
- turn a directory into a GUI, slash example of VNC-based GUI☆32Updated 4 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- PostgreSQL Prolog language handler☆133Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 7 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Topological sort library in Zig☆94Updated last week