Pinned Repositories
dot-calculus
Adding extensions to DOT calculus
CodeTranslator
A Code Translator for C8, CS146
Faux-Racket
A Monadic Interpreter for Faux Racket written in Haskell
GADTFormat
Type-safe Format using GADT in OCaml
HFSN
Simple Java Http File Server
Kripke-Models
A Racket Implement of Kripke Models
LambdaCalculus-java
Lambda calculus implemented in Java
Racket-Codes
A Collection of My Racket Code
socc
Simple C Compiler in OCaml
scala3
The Scala 3 compiler, also known as Dotty.
noti0na1's Repositories
noti0na1/socc
Simple C Compiler in OCaml
noti0na1/LambdaCalculus-java
Lambda calculus implemented in Java
noti0na1/Kripke-Models
A Racket Implement of Kripke Models
noti0na1/GADTFormat
Type-safe Format using GADT in OCaml
noti0na1/Faux-Racket
A Monadic Interpreter for Faux Racket written in Haskell
noti0na1/CodeTranslator
A Code Translator for C8, CS146
noti0na1/HFSN
Simple Java Http File Server
noti0na1/Racket-Codes
A Collection of My Racket Code
noti0na1/clojure-learn
clojure-learn
noti0na1/dotty
Research compiler that will become Scala 3
noti0na1/EncryptedLauncher
An Encrypted Java Launcher
noti0na1/intellij-community
IntelliJ IDEA Community Edition
noti0na1/racket6.12
The Racket repository
noti0na1/TranslationPendant
A Translation Pendant
noti0na1/bench
benchmark compilation of Dotty
noti0na1/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.
noti0na1/dotfiles
noti0na1/improvement-proposals
Scala Improvement Proposals
noti0na1/N46Whisper
Whisper based subtitle generator
noti0na1/nequi-kafka
Kafka (Streams) extensions/helpers
noti0na1/runtime-decrease
Implementation of runtime behaviour for decrease (termination check)
noti0na1/stainless-codespaces
Example repo to work with Stainless in Github Codespaces