awkure's Stars
mame/quine-relay
An uroboros program with 100+ programming languages
atlas-engineer/nyxt
Nyxt - the hacker's browser.
hundredrabbits/Orca
Esoteric Programming Language
FStarLang/FStar
A Proof-oriented Programming Language
mikeizbicki/HLearn
Homomorphic machine learning
dylanaraps/sowm
An itsy bitsy floating window manager (220~ sloc!).
ghc-proposals/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
mewmew/dissection
The dissection of a simple "hello world" ELF binary.
UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
turion/rhine
Haskell Functional Reactive Programming framework with type-level clocks
csicar/pskt
Kotlin-backend for PureScript
ix/lazyboy
An EDSL implemented in Haskell for programming the Nintendo Game Boy.
Francesco149/reversing-sifas
information about love live all stars internals
anuyts/menkar
The multimode presheaf proof-assistant
Francesco149/TempleOSGit
archive of HOPPY,J OS,LoseThos, SparrowOS,TempleOS exported as formatted plaintext (Personal branches are my own, not part of the archive)
gallais/agda-sizedIO
IO using sized types and copatterns
synrc/mail
✉️ MAIL: Message Handling Service. ISO/IEC: 10021; ITU/IETF: X.400—X.403, X.407—X.408, X.411—X.413, X.419—X.420.
agda/agda-web-semantic
Agda libraries for the semantic web
pigworker/potato
being an experiment with potato power
bcrypto/stb
Cryptography Standards of Belarus
mbykov/cholok
phonetic transcription for Tibetan
MrChico/Reals-in-agda
Constructive definition of real numbers implemented in agda.
o89/n2o
N2O: Application Server
nad/equality
tsdh/clj-miniconcat
A toy concatenative language implemented in Clojure.
ix/notewell
A declaratively-built cross-platform Markdown editor written in Haskell.
nakaday/Motivic_Verona
Notes from Verona
Kaptch/asmClockCounter
Dumb clock counter for a subset of Intel 8088's asm
Kaptch/arend-lib
nad/codata