noti0na1

Simple C Compiler in OCaml

Lambda calculus implemented in Java

A Racket Implement of Kripke Models

No description.

Type-safe Format using GADT in OCaml

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

A Monadic Interpreter for Faux Racket written in Haskell

A Collection of My Racket Code

Simple Java Http File Server

A Code Translator for C8, CS146

Add type and capability safe dynamic eval to Scala 3

A Scala 3 library for information classification using capture checking

Research compiler that will become Scala 3

An Encrypted Java Launcher

A Translation Pendant

The Racket repository

IntelliJ IDEA Community Edition

clojure-learn

No description.

Implementation of runtime behaviour for decrease (termination check)

Example repo to work with Stainless in Github Codespaces

Scala Improvement Proposals

Whisper based subtitle generator

benchmark compilation of Dotty

No description.

Kafka (Streams) extensions/helpers

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.