noti0na1

socc. Simple C Compiler in OCaml

LambdaCalculus-java. Lambda calculus implemented in Java

Kripke-Models. A Racket Implement of Kripke Models

GADTFormat. Type-safe Format using GADT in OCaml

SafeAgent. Scala

Faux-Racket. A Monadic Interpreter for Faux Racket written in Haskell

lacuna. Typed, scope-aware LLM holes for the live Scala agent

CodeTranslator. A Code Translator for C8, CS146

Racket-Codes. A Collection of My Racket Code

HFSN. Simple Java Http File Server

TranslationPendant. A Translation Pendant

clojure-learn. clojure-learn

dotty. Research compiler that will become Scala 3

intellij-community. IntelliJ IDEA Community Edition

racket6.12. The Racket repository

EncryptedLauncher. An Encrypted Java Launcher

classified. A Scala 3 library for information classification using capture checking

dynamic-eval-scala-3. Add type and capability safe dynamic eval to Scala 3