Workshop on Program Transformations
☆26Aug 12, 2023Updated 2 years ago
Alternatives and similar repositories for lambdajam
Users that are interested in lambdajam are comparing it to the libraries listed below
Sorting:
- C311 Spring 2022☆13Mar 17, 2025Updated 11 months ago
- ☆16May 7, 2020Updated 5 years ago
- ☆39Feb 21, 2026Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆17Feb 5, 2018Updated 8 years ago
- A collection of programming languages and type systems.☆33May 11, 2025Updated 9 months ago
- ☆11May 27, 2017Updated 8 years ago
- 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
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- A python code browser☆13May 13, 2023Updated 2 years ago
- An Alfred workflow that uses AnkiConnect to search in the browser☆10Jan 12, 2025Updated last year
- A TOML parser for CHICKEN Scheme built with comparse☆12Jun 12, 2019Updated 6 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- ☆13May 22, 2025Updated 9 months ago
- FFI generator for Gambit Scheme☆13May 25, 2009Updated 16 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Dec 21, 2018Updated 7 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- SRFI libraries for Chez Scheme☆10Mar 21, 2010Updated 15 years ago
- iCalendar/vCard parser for GNU Guile.☆12Aug 13, 2025Updated 6 months ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- forerunner of ydiff - a structural comparison tool for Python☆14Jul 6, 2013Updated 12 years ago
- A simple object system for Chez Scheme.☆10Aug 16, 2020Updated 5 years ago
- My code as I work through Beginning Linux Programming 4th ed by Matthew and Stones, Wrox☆12May 7, 2023Updated 2 years ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Mar 22, 2021Updated 4 years ago
- MINIX 3 (mirror)☆15Sep 30, 2019Updated 6 years ago
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 12 years ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Feb 27, 2025Updated last year
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- Yet another implementation of fork&exec and related functionality☆11Jan 15, 2026Updated last month
- look at the technologies designed to support event-driven, messaging-centric services. messaging serves as the substrate for higher order…☆10Jan 31, 2018Updated 8 years ago
- Files related to A. Jesse Jiryu Davis's PyCon 2023 talk.☆13Feb 21, 2024Updated 2 years ago
- ☆10Oct 27, 2024Updated last year
- The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.☆13Dec 3, 2014Updated 11 years ago
- JSR107 Technology Compability Kit☆14Oct 13, 2020Updated 5 years ago
- Pure Scheme Gopher Server☆11Jan 21, 2012Updated 14 years ago
- Get yes/no-like words.☆13Mar 7, 2023Updated 2 years ago
- Java unit test practise using JUnit, Mockito, PowerMock, Gradle, H2 and JPA.☆12Aug 16, 2020Updated 5 years ago
- files to build chicken for android☆19May 14, 2014Updated 11 years ago