sshwy / lamcalcView external linksLinks
An implementation and tutorial for Lambda Calculus in Rust
☆10Mar 23, 2025Updated 10 months ago
Alternatives and similar repositories for lamcalc
Users that are interested in lamcalc are comparing it to the libraries listed below
Sorting:
- 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
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- Create Vector Store from Scratch in pure Python.☆14Dec 15, 2023Updated 2 years ago
- A Java implementation of the Operation Result Pattern, so you don't need to make your own☆14Feb 25, 2024Updated last year
- Fast JSON Diff powered by Zig & Python☆35Jan 16, 2026Updated 3 weeks ago
- A python library for runtime validation and type checking of python values.☆10Aug 11, 2022Updated 3 years ago
- Django based microservice architecture with oauth2 🔋🌟☆11Sep 19, 2024Updated last year
- Python library to convert MathML to OMML (Office Math Markup Language)☆10Nov 24, 2019Updated 6 years ago
- 以提效为主题的VSCode插件，目前包含报错快速搜索与代码时长统计功能，尚处于预览版中......☆10Oct 17, 2022Updated 3 years ago
- pip installable package to provide syntax grammars for babi☆10Jan 26, 2026Updated 2 weeks ago
- ☆14May 17, 2025Updated 8 months 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
- VuePress集成Gitalk. | Gitalk plugin for VuePress.☆14May 14, 2024Updated last year
- Easy Windows Taskbar Progress Lib (DLL) | 超简单的 Windows 工具栏进度条库☆11Mar 10, 2025Updated 11 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
- Plug-ins that gray your site for VuePress.☆11Apr 3, 2020Updated 5 years ago
- 解除steam国区软锁区☆10Dec 27, 2020Updated 5 years ago
- Command Performance Benchmarking☆29Jan 21, 2026Updated 3 weeks ago
- MDBook preprocessor for converting emojicodes (e.g. `: cat :`) into emojis 🐱☆14Sep 21, 2023Updated 2 years ago
- A command line tool that provides functionalities for parsing and manipulating CSV files in Rust☆11Aug 4, 2024Updated last year
- Steve Baker's Tree Command for Linux☆10Jan 12, 2015Updated 11 years ago
- Give an end to no-end rests and play times. On Windows, macOS and Web.☆13Oct 5, 2023Updated 2 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 2 months ago
- DAL (Data Access Layer) - a proxy for SQL databases with MongoDB inspired query interface☆11Sep 2, 2024Updated last year
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- Golang implementation of Conway's Game of Life☆14Aug 8, 2021Updated 4 years ago
- A CLI based DBMS made using C++. It supports basic SQL Queries.☆10Jan 5, 2024Updated 2 years ago
- The search language for your filesystem☆35Jan 30, 2026Updated 2 weeks ago
- Bash smart directories navigation☆16Nov 5, 2025Updated 3 months ago
- Exploring basic features of Async in Spring.☆10Nov 22, 2024Updated last year
- Track and recall frequently and recently used files or directories☆13Feb 5, 2026Updated last week
- YOLO12 PySide6 部署☆13Nov 15, 2025Updated 2 months ago
- Python client for the etcd API v3, supported python >= 3.7, under active maintenance☆12Aug 4, 2025Updated 6 months ago
- A simple and lightweight asynchronous web framework in C++☆10Mar 29, 2024Updated last year
- A Distributed, Fault-Tolerant Message Queue from Scratch. Inspired by Apache Kafka☆86Oct 23, 2025Updated 3 months ago
- A simple relational database system by C/C++ to store and manage data.☆13Nov 10, 2017Updated 8 years ago
- ☆11Jun 24, 2022Updated 3 years ago