arungant8 Goto Github PK

arungant8

Config files for my GitHub profile.

beautiful-racket

A repository for the programs in https://beautifulracket.com/ (written by me, of course)

build-a-lisp

clox

Lox interpreter written in C, from the book 'Crafting Interpreters'

eopl

My solutions to the exercises in "Essentials of Programming Languages", original edition

intro-to-theorem-proving-with-coq

My Github repo for the course 'Introduction to Theorem Proving with Coq' taken in my 4th semester at Chennai Mathematical Institute (CMI)

j-bob

jlox

Lox interpreter written in Java, from the book 'Crafting Interpreters'

l-lang

Implementation of a Quantum Interpreter in Lisp

lisp

A mini Lisp in 1k lines of C with garbage collector, explained. Includes over 40 built-in Lisp primitives, floating point, strings, closures with lexical scope, macros, proper tail recursion, exceptions, execution tracing, file loading, a mark-sweep/compacting garbage collector and REPL.

lisp-cheney

A mini Lisp in 1k lines of C with Cheney's copying garbage collector, explained. Includes over 40 built-in Lisp primitives, floating point, strings, closures with lexical scope, macros, proper tail recursion, exceptions, execution tracing, file loading, a copying garbage collector and REPL.

minikanren

Canonical miniKanren implementation

mpc

A Parser Combinator library for C

my-j-bob

My implementation of the J-Bob theorem prover given in "The Little Prover" (mostly just with added comments)

my-minikanren

My implementation of miniKanren as given in "The Reasoned Schemer" (mostly with added comments)

n-grams-for-synthesis

n-gram probabilities based on Lisp code, for directing search of the relational Scheme interpreter

personoj

People's Verification System in Dedukti

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

probkanren

Probabilistic miniKanren

pvs

The People's Verification System

solang

Solidity Compiler for Solana and Substrate

tinylisp

Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

z3-progs