Alternatives and similar repositories for lambdajam

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

• siriusdemon / Pearl

  View on GitHub
  C311 Spring 2022
  ☆13Mar 17, 2025Updated 10 months ago
• WeixiMa / C311Sp20

  View on GitHub
  ☆16May 7, 2020Updated 5 years ago
• racket / eopl

  View on GitHub
  ☆39Nov 21, 2025Updated 2 months ago
• miniKanren / faster-miniKanren

  View on GitHub
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆17Feb 5, 2018Updated 8 years ago
• ayazhafiz / plts

  View on GitHub
  A collection of programming languages and type systems.
  ☆33May 11, 2025Updated 9 months ago
• javadeep / common-functional

  View on GitHub
  ☆11May 27, 2017Updated 8 years ago
• juniorxxue / learn-plt-redex

  View on GitHub
  Resources for Learning PLT Redex
  ☆13Jul 24, 2021Updated 4 years ago
• dharmatech / chez-srfi

  View on GitHub
  SRFI libraries for Chez Scheme
  ☆10Mar 21, 2010Updated 15 years ago
• webyrd / summer-scheming

  View on GitHub
  Summer Scheming!!!!!!
  ☆11Aug 20, 2020Updated 5 years ago
• AnKingMed / Alfred-Anki-Search

  View on GitHub
  An Alfred workflow that uses AnkiConnect to search in the browser
  ☆10Jan 12, 2025Updated last year
• stroxler / beginning_linux_programming

  View on GitHub
  My code as I work through Beginning Linux Programming 4th ed by Matthew and Stones, Wrox
  ☆12May 7, 2023Updated 2 years ago
• MikeMKH / the-little-typer

  View on GitHub
  Daily kata from the Little Typer
  ☆13Dec 28, 2018Updated 7 years ago
• caolan / chicken-toml

  View on GitHub
  A TOML parser for CHICKEN Scheme built with comparse
  ☆12Jun 12, 2019Updated 6 years ago
• wdan / pydiff

  View on GitHub
  forerunner of ydiff - a structural comparison tool for Python
  ☆14Jul 6, 2013Updated 12 years ago
• DavidMazarro / wasm-verify

  View on GitHub
  A proof-of-concept formal verification tool for WebAssembly.
  ☆10Mar 3, 2024Updated last year
• tdietert / lambda-pi

  View on GitHub
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆12Jan 29, 2020Updated 6 years ago
• google / btls

  View on GitHub
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Dec 21, 2018Updated 7 years ago
• madumalt / oauth-proxy

  View on GitHub
  Implementation of Single Page Application (SPA) Proxy security pattern as introduced in the blog post https://medium.facilelogin.com/thir…
  ☆12Dec 18, 2017Updated 8 years ago
• metaphorm / adios

  View on GitHub
  A simple object system for Chez Scheme.
  ☆10Aug 16, 2020Updated 5 years ago
• LowLevelMahn / alpha_waves_loader

  View on GitHub
  ☆13May 22, 2025Updated 8 months ago
• jlongster / autoffi

  View on GitHub
  FFI generator for Gambit Scheme
  ☆13May 25, 2009Updated 16 years ago
• sposh-science / pycode-browser

  View on GitHub
  A python code browser
  ☆13May 13, 2023Updated 2 years ago
• artyom-poptsov / guile-ics

  View on GitHub
  iCalendar/vCard parser for GNU Guile.
  ☆12Aug 13, 2025Updated 6 months ago
• maitria / gambit-objc

  View on GitHub
  Objective-C bridge for Gambit Scheme
  ☆44May 18, 2013Updated 12 years ago
• PPKFS / roguefunctor

  View on GitHub
  A Haskell roguelike toolkit
  ☆12Jul 10, 2025Updated 7 months ago
• luc-tielen / typesystem

  View on GitHub
  Experiments using a bidirectional typesystem
  ☆17Jan 30, 2022Updated 4 years ago
• brianberns / CompilerDesign

  View on GitHub
  ☆10Oct 27, 2024Updated last year
• supermy / lbs

  View on GitHub
  基于netty 的实时消息传递
  ☆11Oct 17, 2017Updated 8 years ago
• webyrd / relational-cesk

  View on GitHub
  Relational implementation of the CESK machine
  ☆21Jul 15, 2013Updated 12 years ago
• strictly-lang / compiler

  View on GitHub
  strictly is a declarative programming language for interactive web-components
  ☆10Dec 2, 2023Updated 2 years ago
• nyinyithann / neovim-ocaml

  View on GitHub
  NeoVim setup in Lua for OCaml development
  ☆14Sep 15, 2022Updated 3 years ago
• jsr107 / jsr107tck

  View on GitHub
  JSR107 Technology Compability Kit
  ☆14Oct 13, 2020Updated 5 years ago
• spk121 / guile100

  View on GitHub
  The repository for the 100 Guile Programs project
  ☆15May 7, 2013Updated 12 years ago
• rrnewton / WaveScript

  View on GitHub
  The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.
  ☆13Dec 3, 2014Updated 11 years ago
• haskell / haskell-snippets

  View on GitHub
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆13Feb 28, 2021Updated 4 years ago
• becls / swish-lint

  View on GitHub
  ☆14Dec 12, 2024Updated last year
• chicken-mobile / android-chicken

  View on GitHub
  files to build chicken for android
  ☆19May 14, 2014Updated 11 years ago
• ajdavis / consistency-isolation-pycon-2023

  View on GitHub
  Files related to A. Jesse Jiryu Davis's PyCon 2023 talk.
  ☆13Feb 21, 2024Updated last year
• webyrd / 2012-scheme-workshop-quines-paper-code

  View on GitHub
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Feb 27, 2025Updated 11 months ago