An implementation and tutorial for Lambda Calculus in Rust
☆11Mar 23, 2025Updated 11 months ago
Alternatives and similar repositories for lamcalc
Users that are interested in lamcalc are comparing it to the libraries listed below
Sorting:
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Blocks is a plugin for mdbook which preprocesses "Blocks" based markdown into beautiful Bootstrap components.☆11Jun 15, 2024Updated last year
- ☆10Dec 14, 2023Updated 2 years ago
- Django based microservice architecture with oauth2 🔋🌟☆11Sep 19, 2024Updated last year
- 以提效为主题的VSCode插件，目前包含报错快速搜索与代码时长统计功能，尚处于预览版中......☆10Oct 17, 2022Updated 3 years ago
- A python library for runtime validation and type checking of python values.☆10Aug 11, 2022Updated 3 years ago
- Create Vector Store from Scratch in pure Python.☆14Dec 15, 2023Updated 2 years ago
- Python library to convert MathML to OMML (Office Math Markup Language)☆10Nov 24, 2019Updated 6 years ago
- A Java implementation of the Operation Result Pattern, so you don't need to make your own☆14Feb 25, 2024Updated 2 years ago
- Bash smart directories navigation☆16Nov 5, 2025Updated 4 months ago
- Golang implementation of Conway's Game of Life☆14Aug 8, 2021Updated 4 years ago
- Keyboard‑driven terminal app to view and manage users and groups. Browse accounts, see memberships, search, and make common changes: rena…☆23Nov 11, 2025Updated 3 months ago
- Created a fork for COMP0249 Academic Year 2024 / 2025☆12Apr 25, 2025Updated 10 months ago
- Try the notch of the Macbook Pro 2021 | Macbook Pro 2021 同款刘海☆12Dec 15, 2021Updated 4 years ago
- A lightweight database for your node.js app.☆24Oct 2, 2015Updated 10 years ago
- ☆14May 17, 2025Updated 9 months ago
- Give an end to no-end rests and play times. On Windows, macOS and Web.☆13Oct 5, 2023Updated 2 years ago
- MDBook preprocessor for converting emojicodes (e.g. `: cat :`) into emojis 🐱☆14Sep 21, 2023Updated 2 years ago
- 基于 GitHub Actions 的再漫画 (zaimanhua.com) 自动签到工具 | Auto check-in tool for zaimanhua.com☆29Feb 15, 2026Updated 2 weeks ago
- DAL (Data Access Layer) - a proxy for SQL databases with MongoDB inspired query interface☆11Sep 2, 2024Updated last year
- Exploring basic features of Async in Spring.☆10Nov 22, 2024Updated last year
- A CLI based DBMS made using C++. It supports basic SQL Queries.☆10Jan 5, 2024Updated 2 years ago
- Easy Windows Taskbar Progress Lib (DLL) | 超简单的 Windows 工具栏进度条库☆11Mar 10, 2025Updated 11 months ago
- The search language for your filesystem☆38Jan 30, 2026Updated last month
- Fast JSON Diff powered by Zig & Python☆39Feb 16, 2026Updated 2 weeks ago
- Steve Baker's Tree Command for Linux☆10Jan 12, 2015Updated 11 years ago
- pip installable package to provide syntax grammars for babi☆10Feb 22, 2026Updated last week
- VuePress集成Gitalk. | Gitalk plugin for VuePress.☆14May 14, 2024Updated last year
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- 解除steam国区软锁区☆10Dec 27, 2020Updated 5 years ago
- A command line tool that provides functionalities for parsing and manipulating CSV files in Rust☆11Aug 4, 2024Updated last year
- Python client for the etcd API v3, supported python >= 3.7, under active maintenance☆12Aug 4, 2025Updated 7 months ago
- 一个终端的盯盘软件,可以添加自己需要的股票和基金代码☆13Aug 19, 2025Updated 6 months ago
- Tiny, simple, and portable ELF linker☆20Dec 1, 2025Updated 3 months ago
- Add Any Formula to DOCX (LaTex/MathML/OMML)☆14Feb 8, 2021Updated 5 years ago
- A python package to extract information from MIDI files☆13Aug 30, 2023Updated 2 years ago
- ☆14Dec 17, 2024Updated last year
- A Java Based Query Engine For JSON☆12Nov 23, 2014Updated 11 years ago