EFanZh

EFanZh's repositories

a type inferencer for Python

Language:JavaApache-2.0000

A Python library for the Docker Engine API

Language:PythonApache-2.0000

Example interpreters for education purposes

Language:Scheme000

Simulates the n-body problem

Language:RustMIT000

My solutions to exercises from the book Essentials of Programming Languages.

Language:Racket3600

EFanZh’s solutions to exercises from Type-Driven Development with Idris.

Language:Idris000

EFanZh’s programs.

Language:C#400

a structural comparison tool for Python

Language:PythonGPL-3.0000

a structural comparison tool for Lisp-family languages

Language:RacketGPL-3.0000

a compiler from Scheme into X64

Language:Scheme000

miniKanren with a pure negation operator

Language:Scheme100

some beautiful code

Language:Scheme300