TennyZhuang / HaScheme
HaScheme is a Scheme interpreter written by Haskell.
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for HaScheme
- programming languages invented/implemented by myself.☆8Updated last year
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- VSCode extension for the Arend language☆11Updated last year
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- Functional Reactive Animation Drawing Environment☆9Updated 7 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Public course materials for CSE 230 (Winter 2019)☆27Updated 3 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆13Updated last week
- SML The Living Language☆11Updated 10 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 7 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 5 years ago
- Bytecode compiler of a variant of Caml☆32Updated 9 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆15Updated last year
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last week
- Python module for composing computations☆26Updated last year
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 9 months ago
- A naive θ..θ programming language☆27Updated 6 years ago
- An IR for Python VM, provided with indirect jump instructions.☆19Updated 4 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Updated 8 years ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- A Dict k v in Idris☆15Updated 3 years ago
- SICP in haskell, both exercises and sample codes.☆10Updated 8 years ago
- A Scheme interpreter in Python☆14Updated 10 years ago