Functional expressions interpreter and compiler infrastructure
☆22May 7, 2026Updated last month
Alternatives and similar repositories for Dovahkiin
Users that are interested in Dovahkiin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- import chat records from your im and store into single sqlite database☆10May 28, 2026Updated last month
- ☆30Jan 16, 2024Updated 2 years ago
- A Guix dashboard for GToolkit☆14Apr 14, 2023Updated 3 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- cross-platform Rust API for memory mapped IO☆10Sep 25, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Find locally installed executables by npm, composer, gem, pip, stack, ...☆12May 23, 2022Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- A tiny Lua based pixel/chiptune engine☆12Nov 22, 2017Updated 8 years ago
- Let Chinese font's alignment be compatible with English font in Emacs☆13May 7, 2020Updated 6 years ago
- GObject introspection for QT☆11Sep 21, 2020Updated 5 years ago
- Compiler_Principle☆11Jun 5, 2015Updated 11 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- SEAL GUI for DOS☆15Jun 14, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆20Apr 17, 2020Updated 6 years ago
- CHIP-8 Emulator in Rust☆13May 11, 2018Updated 8 years ago
- a framework for building wechat-app by using react.☆13Jun 3, 2018Updated 8 years ago
- Mirror of git://git.code.sf.net/p/libwpd/librevenge☆13Feb 2, 2016Updated 10 years ago
- hyperloglog counts things using the HyperLogLog algorithm to estimate cardinality☆33Aug 4, 2022Updated 3 years ago
- C64 SID sound editor + player written in 6510 assembly☆15Apr 28, 2018Updated 8 years ago
- This repository has moved to codeberg☆20Feb 19, 2026Updated 4 months ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- ☆11Sep 11, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 7 years ago
- Computer Papers☆12Jun 15, 2025Updated last year
- An implementation of the Knuth-Plass algorithm for breaking paragraphs into lines☆21May 1, 2021Updated 5 years ago
- Tool To Manage Linux Kernel Modules☆27May 25, 2023Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- Lua 5.3 compatible pure-Lua UTF-8 implementation☆12Jun 20, 2026Updated last week
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- ☆22Oct 3, 2022Updated 3 years ago
- ☆10May 19, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A C# progam to convert old .dsp project files into modern .vcxproj project files.☆19May 10, 2026Updated last month
- Tutorials on acquiring and working with Overwatch League Data☆15Jun 2, 2023Updated 3 years ago
- A Zig Operating System. Zig 语言的简易操作系统。☆18Dec 4, 2023Updated 2 years ago
- Full or incremental static site generator for Ghost.☆12Aug 30, 2018Updated 7 years ago
- Examples of Jupiter.☆14Oct 18, 2023Updated 2 years ago
- Racket-based implementation of Adapton☆25Jun 29, 2019Updated 7 years ago
- Makes it possible to really use concatenated idents in Rust.☆25Apr 23, 2024Updated 2 years ago