A lambda calculus interpreter written in Python
☆20Feb 24, 2022Updated 4 years ago
Alternatives and similar repositories for Nameless
Users that are interested in Nameless are comparing it to the libraries listed below
Sorting:
- a Lisp-like functional language with flexible suspension and resumption☆15Aug 17, 2025Updated 6 months ago
- racket指南翻译☆23Nov 13, 2021Updated 4 years ago
- ☆29Jan 8, 2023Updated 3 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- A collection of HubSpot related serverless functions examples.☆11Feb 26, 2023Updated 3 years ago
- Pratt parser written in Rust☆99Nov 10, 2023Updated 2 years ago
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- ☆15May 2, 2023Updated 2 years ago
- Code for the article series on building a Python compiler and interpreter☆11Feb 13, 2025Updated last year
- Searches AWS resources and launches them in the AWS console in your browser☆10Jun 8, 2023Updated 2 years ago
- ☆10Jun 7, 2020Updated 5 years ago
- The repository for the book "The Node Experiment - Exploring Async Basics with Rust"☆15Oct 9, 2019Updated 6 years ago
- LaTeX 讲座资料☆12Apr 7, 2022Updated 3 years ago
- Interactive TCP stack learning tool☆13May 27, 2023Updated 2 years ago
- Tiny Flask app for testing HTTP calls☆11Aug 7, 2018Updated 7 years ago
- ☆39Feb 21, 2026Updated last week
- A rehype MDX plugin for exposing the page title☆17Sep 18, 2025Updated 5 months ago
- Arithmetic in Rust's Type System☆11Feb 18, 2024Updated 2 years ago
- Example for writing a simple parser using Nom and Rust☆10Nov 19, 2020Updated 5 years ago
- A processing thing that draws weird glyphs☆12May 2, 2017Updated 8 years ago
- Low profile split keyboard with Corne 42 Layout and Cerry ULP switches. (6mm height)☆46Oct 12, 2025Updated 4 months ago
- gdb pretty printer for llvm's libcxx☆11Mar 9, 2018Updated 7 years ago
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago
- Market-Derived Financial Sentiment Analysis: Context-Aware Language Models for Crypto Forecasting☆17Mar 24, 2025Updated 11 months ago
- This is a small Java programm that uses the `ProcessBuilder` to call a Python programm on the command line and exchange data with it via …☆11Oct 3, 2024Updated last year
- A lightweight Lua httpserver for easy webservices developping.☆10Mar 30, 2015Updated 10 years ago
- A curated list of awesome queueing systems for background jobs and distributed tasks.☆15Mar 22, 2023Updated 2 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- To implement a text editor, may support latex rendering in the future. Now focus on basic functions, not finished ,on going☆11Aug 4, 2023Updated 2 years ago
- A font family with a great monospaced variant for programmers.☆12Dec 7, 2013Updated 12 years ago
- Official repository for Databend documentation☆16Feb 26, 2026Updated last week
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- TPCH benchmark tool for databend☆11Nov 15, 2022Updated 3 years ago
- Autojump for Total Commander !!☆12Nov 25, 2020Updated 5 years ago
- Exactly what it says on the tin☆15Oct 23, 2019Updated 6 years ago
- Deck of Anki Cards covering "Data Structures and Algorithms" as taught by the UC San Diego course on Coursera☆10Jul 25, 2017Updated 8 years ago
- Visual studio plug-in to create clean RESTful APIs. The plug-in provides a quick and easy ways to scaffold HTTP end-points following RFC …☆12Feb 13, 2023Updated 3 years ago