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

Faux-Racket

A Monadic Interpreter for Faux Racket written in Haskell

CodeTranslator

A Code Translator for C8, CS146

HFSN

Simple Java Http File Server

Racket-Codes

A Collection of My Racket Code

clojure-learn

clojure-learn

dotty

Research compiler that will become Scala 3

EncryptedLauncher

An Encrypted Java Launcher

intellij-community

IntelliJ IDEA Community Edition

racket6.12

The Racket repository

TranslationPendant

A Translation Pendant

bench

benchmark compilation of Dotty

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.

dotfiles

improvement-proposals

Scala Improvement Proposals

N46Whisper

Whisper based subtitle generator

nequi-kafka

Kafka (Streams) extensions/helpers

runtime-decrease

Implementation of runtime behaviour for decrease (termination check)

stainless-codespaces

Example repo to work with Stainless in Github Codespaces