This is your work, valued

Lausanne

noti0na1

Expert
@noti0na1

Working on @scala 3

socc. Simple C Compiler in OCaml

100

LambdaCalculus-java. Lambda calculus implemented in Java

20

Kripke-Models. A Racket Implement of Kripke Models

8

GADTFormat. Type-safe Format using GADT in OCaml

5

SafeAgent. Scala

5

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

4

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

4

CodeTranslator. A Code Translator for C8, CS146

2

Racket-Codes. A Collection of My Racket Code

2

HFSN. Simple Java Http File Server

2

TranslationPendant. A Translation Pendant

1

clojure-learn. clojure-learn

1

dotty. Research compiler that will become Scala 3

1

intellij-community. IntelliJ IDEA Community Edition

1

racket6.12. The Racket repository

1

EncryptedLauncher. An Encrypted Java Launcher

1

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

1

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

1