Stars
Fully open reproduction of DeepSeek-R1
Minimal reproduction of DeepSeek R1-Zero
Public repository of the QuickJS Javascript Engine.
A modern runtime for JavaScript and TypeScript.
The cuteness implementation of a dependently typed language.
A super-easy, composable, web server framework for warp speeds.
Create the relational model visually and export to SQL or Prisma
The original askama repo, please go to https://github.com/askama-rs/askama
Lunatic is an Erlang-inspired runtime for WebAssembly
NixOps is a tool for deploying to NixOS machines in a network or cloud.
A GraphQL to SQL query execution layer for query planning and batch data fetching.
Symfony bundle for https://packagist.org/packages/ncrypthic/doctrine-graphql library
On-chain atomic swaps for Decred and other cryptocurrencies.
Cryptographic currency implementing Ouroboros PoS protocol
A set of Doctrine 2 extensions, primarily, for MySQL.
dcosson / vagrant-unison2
Forked from dmatora/vagrant-unisonVagrant plugin to sync local files to VM using Unison over SSH
A Dependently Typed Functional Programming Language
Blockchain-based marketplace for file storage. Project has moved to GitLab: https://gitlab.com/NebulousLabs/Sia
Web-based GUI to manage Subversion repositories and User/Group permissions (+LDAP support)
Vagrant is a tool for building and distributing development environments.