Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/eashanhatti/peridot

A fast functional language based on two level type theory

dependent-types haskell proglangs-discord programming-language systems-language type-theory

Last synced: 16 Apr 2024

https://github.com/neverRare/butter

A tasty language for building efficient software. Currently in hiatus

butter compiler language proglangs-discord programming-language rust

Last synced: 28 Mar 2024