Stars
Lean 4 programming language and theorem prover
From Zero to QED: An informal introduction to formality with Lean 4
Anki is a smart spaced repetition flashcard program
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Hierarchical spreadsheet: a free-form data organizer that replaces outliners, mind maps and spreadsheets.
SimTK OpenSim C++ libraries and command-line applications, and Java/Python wrapping.
The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
Scrape job websites into a single spreadsheet with no duplicates.