Stars
Generate fast-check arbitraries from Zod schemas.
The Monorepo Platform that amplifies both developers and AI agents. Nx optimizes your builds, scales your CI, and fixes failed PRs automatically. Ship in half the time.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Pattern matching syntax for ECMAScript
Implementation of Polymorphic Gradual Typing
DeepSpeech is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.
Transcribe and translate audio to text using Whisper and DeepL.
Speech recognition tool to convert audio to text transcripts, for Linux and Raspberry Pi.
Freed Go (3D Game of Go) and Shuzzle (3D Shadow Jigsaw Puzzle)
Examples using emacs org mode babel inline source code with different backend languages
Interact with your documents using the power of GPT, 100% privately, no data leaks
Compiler for the Vale programming language - http://vale.dev/
A TypeScript-like language for WebAssembly.
Weaviate is an open-source vector database that stores both objects and vectors, allowing for the combination of vector search with structured filtering with the fault tolerance and scalability of …
Emacs Lisp Static Analyzer and gradual type system.
Slack export backend for Eamcs org-mode
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
A text editor in ≤1024 lines of code, written in Rust
A markup-based typesetting system that is powerful and easy to learn.
bloop is a fast code search engine written in Rust.
Best practices on how to be efficient with Haskell in production