Stars
Chisel: A Modern Hardware Design Language
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Typst package for drawing diagrams with arrows, built on top of CeTZ.
A Git-compatible VCS that is both simple and powerful
A cohesive & pragmatic framework of FP centric Scala libraries
Write expressive, high-performance parsers with ease.
An incremental parsing system for programming tools
shamith09 / pygyat
Forked from mathialo/bythonPython with rizz.
Jelly is a recreational programming language inspired by J.
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
Press the 'f' and 'd' keys randomly. It's easy. Just use your "free will."
A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
Sophisticated static program analysis framework for the R programming language.
A markup-based typesetting system that is powerful and easy to learn.
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
Command-line client for WebSockets, like netcat (or curl) for ws:// with advanced socat-like functions
A Language for High-Level Programming with Self-Extension
The Morpho language 🦋. Morpho is a small embeddable language for scientific computing applications.