MisakaCenter/STLC MisakaCenter/STLC

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MisakaCenter/STLC
github

MisakaCenter

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.

More Repositories

1

RayTracer.ml

🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
OCaml
18
star
2

Chi

🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
Python
16
star
3

AwesomePL

A Collection of Papers & Notes in Programming Language & Formal Verification
16
star
4

Pistolet

🔫 Toy ML-like Imperative Programming Language (WIP)
Rust
10
star
5

OPG_Parser

🔪 OPG (Operator Precedence Grammar) Parser, in Coq.
Haskell
6
star
6

Notes

📕 My Reading/Lecture Notes
Makefile
4
star
7

OS_Project

TeX
2
star