jaschdoc's Stars
lapce/lapce
Lightning-fast and Powerful Code Editor written in Rust
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
sonic-pi-net/sonic-pi
Code. Music. Live.
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
roc-lang/roc
A fast, friendly, functional language.
LuxLang/lux
The Lux Programming Language
google-research/dex-lang
Research language for array processing in the Haskell/ML family
koka-lang/madoko
Madoko is a fast markdown processor for high quality academic and technical articles
cs-au-dk/jelly
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
jasmin-lang/jasmin
Language for high-assurance and high-speed cryptography
Sobuno/ZKBoo
TroupeLang/Troupe
Troupe programming language
cs-au-dk/NoRegrets
Breaking change detector for npm
cs-au-dk/goat
logsem/cerise
Formalisation of a capability machine and principles for reasoning about security properties
dkales/banquet
Banquet implementation
logsem/iris-lecture-notes
kaspergl/ML22
mlutze/fcwg
jaschdoc/flix-parsers
A simple parser combinator library for Flix
JonathanStarup/Flix-ANSI-Terminal
An API for ANSI terminal operations
mlutze/flix-json
A JSON parsing library in Flix
anbclausen/preambles
My custom LaTeX preambles for you to use!
JonathanStarup/GUI
GUI (MVC) library in Flix
Aandsliv/aandsliv
Website for åndsliv.dk
aekvi/aekvi.com
aekvi/mist-tools-rust
Rust support for Mist Cloud
anbclausen/optifuzz
A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.
dfaranha/dissy-e22-handins