A pure logical, compact language
☆17Jul 6, 2025Updated 7 months ago
Alternatives and similar repositories for laurelang
Users that are interested in laurelang are comparing it to the libraries listed below
Sorting:
- Functional typing in Python☆17Jan 22, 2026Updated last month
- [WIP] ⭐️✨ Parsing in Python has never been easier☆11May 16, 2024Updated last year
- Modern visionary telegram bot framework☆61Updated this week
- Common vulnerability scanning on steroids ☄️☆17Jan 19, 2024Updated 2 years ago
- Telegram bot written in brainfuck and python☆14Aug 27, 2021Updated 4 years ago
- String validation tool compiling into regex☆31Jan 22, 2026Updated last month
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated 2 months ago
- Types for vkbottle☆13Sep 25, 2025Updated 5 months ago
- Обертка для мини-игры "рабы" на python☆11Mar 31, 2021Updated 4 years ago
- Асинхронная обёртка над закрытым api для фриланс биржи kwork.ru☆53Feb 10, 2026Updated 3 weeks ago
- Убирает копии StackOverflow из поиска☆16Feb 10, 2024Updated 2 years ago
- Сustomizable asynchronous VK API framework☆474Feb 24, 2026Updated last week
- Ultra Markdown, an ultra fast (high performance) Markdown parser compliant with the markdown spec written in pure C with bindings for Pyt…☆24Jan 1, 2026Updated 2 months ago
- ☆15Jan 14, 2021Updated 5 years ago
- Image processing bot that creates «demotivators» from given media. Based on aiogram and OpenCV.☆14Feb 19, 2023Updated 3 years ago
- Simple wrapper for dnevnik.ru☆45Oct 16, 2025Updated 4 months ago
- 💌 Рейд бот для ВКонтакте☆23May 1, 2020Updated 5 years ago
- Sort __all__ lists alphabetically☆31Feb 23, 2026Updated last week
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last month
- ☆12Feb 3, 2023Updated 3 years ago
- Asynchronous framework for building high-performance & easy to scale projects interacting with VK's API.☆229Dec 7, 2024Updated last year
- Sift client libraries and protocol buffers☆17Updated this week
- Python package which provides you a simple way to generate phrases using Markov chains.☆28Jul 29, 2024Updated last year
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆15Oct 2, 2025Updated 5 months ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- 🪑 Smart Sit-Stand Desk Controller built with Raspberry Pi Pico W and MicroPython. Features WiFi connectivity, web API, OLED display, d…☆11Aug 9, 2025Updated 6 months ago
- ☆17Jan 3, 2025Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- The Val Programming Language☆11Sep 28, 2021Updated 4 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- VelesDB is a local‑first AI data engine written in Rust that unifies vectors, full‑text and graph in a single file with a familiar SQL‑li…☆26Updated this week
- Configuration sources manager☆18Aug 14, 2025Updated 6 months ago
- A crate for working with the Task Execution Service (TES) specification.☆13Jan 8, 2026Updated last month
- An actor implementation in Rust☆10Oct 12, 2025Updated 4 months ago
- Google Analytics for all Flutter platfroms (Android, iOS, macOS, Web, Windows and Linux)☆12Jan 4, 2026Updated last month
- livewin(来玩)直播服务☆11Jul 16, 2025Updated 7 months ago
- Protocol buffers definition for TuiHub, import as a library rather than a directory☆11Feb 8, 2026Updated 3 weeks ago
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 2 weeks ago
- How to put your Arduino to sleep to save power (and wake up again)☆13Jun 26, 2018Updated 7 years ago