noti0na1
Follow
-
dotty Public
Forked from scala/scala3Research compiler that will become Scala 3
-
runtime-decrease Public
Implementation of runtime behaviour for decrease (termination check)
Scala UpdatedDec 22, 2023 -
stainless-codespaces Public
Forked from samuelchassot/stainless-codespacesExample repo to work with Stainless in Github Codespaces
Dockerfile UpdatedSep 28, 2023 -
improvement-proposals Public
Forked from scala/improvement-proposalsScala Improvement Proposals
UpdatedAug 31, 2023 -
N46Whisper Public
Forked from Ayanaminn/N46WhisperWhisper based subtitle generator
Jupyter Notebook MIT License UpdatedApr 29, 2023 -
-
-
nequi-kafka Public
Forked from NeQuissimus/nequi-kafkaKafka (Streams) extensions/helpers
Scala UpdatedJan 11, 2019 -
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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 16, 2018 -
GADTFormat Public
Type-safe Format using GADT in OCaml
-
-
socc Public
Simple C Compiler in OCaml
-
Racket-Codes Public
A Collection of My Racket Code
-
EncryptedLauncher Public
An Encrypted Java Launcher
-
-
TranslationPendant Public
A Translation Pendant
-
Kripke-Models Public
A Racket Implement of Kripke Models
-
Faux-Racket Public
A Monadic Interpreter for Faux Racket written in Haskell
-
CodeTranslator Public
A Code Translator for C8, CS146
-
intellij-community Public
Forked from JetBrains/intellij-communityIntelliJ IDEA Community Edition
-
LambdaCalculus-java Public
Lambda calculus implemented in Java
-
clojure-learn Public
clojure-learn