Stars
A massively parallel, optimal functional runtime in Rust
For Notion,OneNote,Bear,Yuque,Joplin。Clip anything to anywhere
Agda is a dependently typed programming language / interactive theorem prover.
Character Generator based on Universal-LPC-Spritesheet
WIP implementation of a Haskell-like Lisp in Racket
A purely functional programming language with first class types
A secure, fully distributed actor language.
This package is an implementation of the "Closure Table" design pattern for Laravel Eloquent.
A Node.js connector for Delta Sharing.
experimental minimalistic symbolic parser combinator framework
mathiscode / awesome-gemini
Forked from kr1sp1n/awesome-geminiA collection of awesome things regarding the gemini protocol ecosystem.
A collection of awesome things regarding the gemini protocol ecosystem.
Golang implementation of the Raft consensus protocol
Compiler for the Vale programming language - http://vale.dev/
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
A friendly programming language from the future
A collection of useful, performant, and threadsafe Go datastructures.
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
A simple, fast, embeddable, persistent key/value store written in pure Go. It supports fully serializable transactions and many data structures such as list, set, sorted set.
D2 is a modern diagram scripting language that turns text to diagrams.
NocoBase is the most extensible AI-powered no-code/low-code platform for building business applications and enterprise solutions.
🎙️ Open Source AI Dictation App ⚡ Type 3x faster, no keyboard needed.
An open source re-implementation of RollerCoaster Tycoon 2 🎢