Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
A fast, immutable, distributed & compositional Datalog engine for everyone.
A library to transform Scala product types and Schemes from different systems into other Schemes. Any implemented type automatically gets methods to convert it into the rest of the types and vice v…
Lightning-fast and Powerful Code Editor written in Rust
Malloy is an experimental language for describing data relationships and transformations.
A JS lib to generate naturally varying time intervals to improve realism in games and to prevent thundering herds in distributed systems.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Terminal UI library with rich, interactive widgets — written in Golang
Improved table navigation, formatting, and manipulation in Obsidian.md
A curated list of awesome projects and resources related to Argo (a CNCF graduated project)
⭐️ A friendly language for building type-safe, scalable systems!
Algebraic Operations and Dissections of Types
a structural diff that understands syntax 🟥🟩
A collection of free MIDI chords and progressions ready to be used in your DAW, Akai MPC, or Roland MC-707/101
A tree-sitter based AST difftool to get meaningful semantic diffs
Advanced graph view for Obsidian: text analysis, topic modeling, and AI with https://infranodus.com
🪄 Magical GraphQL query engine for TypeScript
A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.
A sample app for the Retrieval-Augmented Generation pattern running in Azure, using Azure AI Search for retrieval and Azure OpenAI large language models to power ChatGPT-style and Q&A experiences.
Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.