archanpatkar

Archan Patkar's repositories

RoboLang

An educational programming language for algorithmic art

Language:PythonMIT400

Kombis

A DSL Compiler for Combinatory Logic based on the universal formal system SKI Combinator Calculus

Language:JavaScriptMIT3 20

styla

Simply Typed Lambda Calculus

Language:JavaScriptMIT3 20

tvl

A 316B implementation of Three Valued Logic in Javascript

Language:JavaScriptMIT3 20

mure

A rule engine for MIU System(MU puzzle) from GEB

Language:JavaScriptMIT2 10

PLT

Programming Language experiments

MIT2 20

ulc

Untyped Lambda Calculus

Language:JavaScriptMIT2 20

base64

base64 encoder/decoder

Language:PythonMIT1 20

Bhaskara

भास्कर - An experimental Object-Functional programming language

Language:PythonMIT100

hml

A mini ML with Hindley-Milner type inference

Language:JavaScriptMIT1 20

omega

System F Omega Lambda Calculus

Language:JavaScriptMIT1 20

Saral

A small 1kB experimental interpreter for JSON based LISP-flavoured functional programming language

Language:JavaScriptMIT1 20

systemF

System F polymorphic/second-order lambda calculus

Language:JavaScriptMIT100

W

A WASM native language

Language:JavaScriptMIT1 20

ptudes

Programming Etudes

MIT020

advent2015

Advent of Code 2015

Language:PythonMIT000

advent2020

Advent of Code 2020

Language:PythonMIT020

advent2021

Advent of Code 2021

Language:PythonMIT000

Arith

(OLD) A Pure Arithmetic(➕➖✖️➗) Language with ⛔ No Side Effects

Language:JavaScriptMIT020

Delta

Delta encoder/decoder

Language:PythonMIT020

GOL

Game of Life

Language:JavaScriptMIT020

Hasm

Hack Assembler

Language:JavaScriptMIT020

Huffman

Huffman encoder/decoder

Language:PythonMIT000

Jack

Jack Language Compiler

Language:JavaScriptMIT020

JackVM

Jack Language VM

Language:JavaScriptMIT020

Music

Finite representations fished from the endless and enchanting sonic sea

020

Shannon

Shannon Coding

Language:PythonMIT000

v

Simple, fast, safe, compiled language for developing maintainable software. Supports translation from C and (soon) C++. Compiles itself in <1s.

Language:GoMIT010

VisualArt

An emergent art forest

020

vostas

A tiny Sat Solver

Language:JavaScriptMIT020