wenyuzhao/Lambda wenyuzhao/Lambda

  • Stars
    star
    10
  • Rank 1,808,607 (Top 36 %)
  • Language
    OCaml
  • License
    Apache License 2.0
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wenyuzhao/Lambda
github

wenyuzhao

Reviews

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

Repository Details

Lambda calculus interpreter in OCaml

More Repositories

1

Sophon

A Raspberry Pi OS Kernel in Rust
Rust
30
star
2

SwiftConnect

An openconnect GUI client for macOS.
Swift
22
star
3

lxr-pldi-2022-artifact

Python
11
star
4

JikesRVM-G1

Java
4
star
5

augmented-gpt

Simple ChatGPT API wrapper with function calls
Python
3
star
6

mmtk-openjdk

OpenJDK binding for MMTk
C++
2
star
7

Multilayer-Perceptron

Multilayer Perceptron based on NumPy
Python
2
star
8

wenyuzhao.github.io

Wenyu Zhao's website
CSS
2
star
9

PEG-Combinator

Parsing Expression Grammar in c++14 based on parser combinators
C++
2
star
10

bump-allocator-rs

Rust
2
star
11

MallocKit

A framework for malloc/free ♻️ experiments.
Rust
1
star
12

perfmon-rs

C++
1
star
13

harness

⏱️ Precise and reproducible benchmarking
Rust
1
star
14

gptsh

The AI-powered, noob-friendly interactive shell.
Rust
1
star