wejournal/lamb external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

wejournal/lamb

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/wejournal/lamb)

Close

wejournal / lambView on GitHubMore

• External links
• Readme badge

A statically typed and lazy evaluated implementation of Lambda Calculus.

☆21Sep 15, 2018Updated 7 years ago

Alternatives and similar repositories for lamb

Users that are interested in lamb are comparing it to the libraries listed below

• gfngfn / cs-thesis

  View on GitHub
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Sep 13, 2018Updated 7 years ago
• gfngfn / otfed

  View on GitHub
  An OpenType font format encoder & decoder written in OCaml
  ☆19Nov 6, 2024Updated last year
• Nymphium / ruff

  View on GitHub
  ONE-SHOT Algebraic Effects for Ruby!
  ☆24Feb 1, 2026Updated last month
• eliza0x / cotton

  View on GitHub
  compiler, llvm
  ☆36Jun 25, 2018Updated 7 years ago
• bydriv / mhc

  View on GitHub
  Minimal Haskell Compiler
  ☆63Mar 26, 2018Updated 7 years ago
• lambdalisue / vim-amake

  View on GitHub
  An example Vim plugin for asynchronous script runner
  ☆15Oct 7, 2018Updated 7 years ago
• vain0x / milone-lang

  View on GitHub
  Self-hosting F#-subset compiler
  ☆48Feb 11, 2025Updated last year
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Feb 14, 2026Updated 2 weeks ago
• kayceesrk / cs6225_s21_iitm

  View on GitHub
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Apr 28, 2021Updated 4 years ago
• fumieval / liszt

  View on GitHub
  Publish & Subscribe
  ☆13Dec 15, 2020Updated 5 years ago
• basyura / twibill.vim

  View on GitHub
  twitter api wrapper like a Rubytter.rb ... maybe
  ☆16May 4, 2018Updated 7 years ago
• repeatedly / d-volkswagen

  View on GitHub
  Volkswagen detects when your tests are being run in a CI server, and makes them pass.
  ☆10Oct 9, 2015Updated 10 years ago
• rhenium / twitter-event-stream

  View on GitHub
  ☆12Aug 31, 2018Updated 7 years ago
• ocaml-ppx / ocaml-syntax-shims

  View on GitHub
  Backport new syntax to older compilers
  ☆14Dec 9, 2019Updated 6 years ago
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆13Jan 12, 2026Updated last month
• mizunashi-mana / proglang-notes

  View on GitHub
  Notes of Programming Languages
  ☆11Nov 30, 2024Updated last year
• unnohideyuki / monadic_parser_sample

  View on GitHub
  Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して
  ☆12Oct 9, 2014Updated 11 years ago
• arowM / elm-reference

  View on GitHub
  An immutable approach to mutable references.
  ☆16Feb 1, 2019Updated 7 years ago
• mattn / vim-vimstreamer

  View on GitHub
  ☆15Sep 8, 2020Updated 5 years ago
• kirisaki / twinkle

  View on GitHub
  UDP-based light key-value store
  ☆13Dec 22, 2019Updated 6 years ago
• emacs-php / jetbrains.el

  View on GitHub
  Emacs-JetBrains IDE bridge
  ☆15Nov 20, 2025Updated 3 months ago
• egison / typed-egison

  View on GitHub
  ☆19Jan 29, 2019Updated 7 years ago
• fetburner / compelib

  View on GitHub
  競プロ用ライブラリ
  ☆15Jun 11, 2022Updated 3 years ago
• hcarty / ppx_defer

  View on GitHub
  OCaml extension for a Go-ish [%defer ...] syntax
  ☆16May 30, 2022Updated 3 years ago
• aiya000 / hs-zuramaru

  View on GitHub
  Lisp方言ずら〜。え！？ これを使えばQuasiQuotesでコンパイル時Lispが書けるずら！？
  ☆17Dec 31, 2018Updated 7 years ago
• White-Green / kirl-lang

  View on GitHub
  An experimental project for statically typed scripting language.
  ☆63Dec 30, 2025Updated 2 months ago
• yf-fyf / hlisp

  View on GitHub
  A Lisp implementation in which a lot of language features are self-definable.
  ☆18Aug 1, 2019Updated 6 years ago
• pveber / ocaml-jquery

  View on GitHub
  Binding to jQuery (for js_of_ocaml)
  ☆25Nov 19, 2012Updated 13 years ago
• fumiyas / wcwidth-cjk

  View on GitHub
  Run command with CJK-friendly wcwidth(3) to fix ambiguous width chars
  ☆56Apr 7, 2021Updated 4 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• Nymphium / eff.lua

  View on GitHub
  ONE-SHOT Algebraic Effects for Lua!
  ☆49Mar 11, 2025Updated 11 months ago
• fsugjp / fsugjp

  View on GitHub
  ☆18Nov 15, 2019Updated 6 years ago
• zdcthomas / medit

  View on GitHub
  a macro editing vim plugin
  ☆15Nov 26, 2022Updated 3 years ago
• liamoc / hilbert

  View on GitHub
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Aug 1, 2014Updated 11 years ago
• dbuenzli / uunf

  View on GitHub
  Unicode text normalization for OCaml
  ☆25Feb 13, 2026Updated 2 weeks ago
• Cra2yPierr0t / risc-v

  View on GitHub
  RISC-VのCPU作った
  ☆20Oct 21, 2019Updated 6 years ago
• utahta / trans.nvim

  View on GitHub
  Google language translator plugin for Neovim
  ☆22Oct 11, 2023Updated 2 years ago
• m--- / webfuck

  View on GitHub
  webfuck chrome extension
  ☆18Feb 16, 2017Updated 9 years ago