Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
multi language execution environment
-
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
-
crypto primitives in pure rust - wasm compatible - maintained fork of rust-crypto
-
OpenXuantie - OpenC910 Core
-
elliptic curve cryptography in rust
-
A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen
-
A complete text editor for your terminal.
-
This nixpkgs extension, called nixcloud-webservices, focuses on ease of deployment of web-related technologies.
-
K as a PL
1 StarredJan 26, 2019 -
The Pie language, which accompanies The Little Typer by Friedman and Christiansen