Functional expressions interpreter and compiler infrastructure
☆22Mar 9, 2026Updated 2 weeks ago
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:
- reactivity system with dirty checking☆10Nov 9, 2020Updated 5 years ago
- Emacs integration between fuz and ivy.☆12Dec 22, 2019Updated 6 years ago
- ☆30Jan 16, 2024Updated 2 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Find locally installed executables by npm, composer, gem, pip, stack, ...☆12May 23, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- Simple UTF library for C++☆13Jul 28, 2022Updated 3 years ago
- C style wrapper for winit - Cross-platform window creation and management in Rust☆16Nov 25, 2025Updated 4 months ago
- GObject introspection for QT☆11Sep 21, 2020Updated 5 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- SEAL GUI for DOS☆13Jun 14, 2023Updated 2 years ago
- Interpreted, dynamically typed, object-oriented programming language☆24Mar 14, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. 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 5 years ago
- hyperloglog counts things using the HyperLogLog algorithm to estimate cardinality☆32Aug 4, 2022Updated 3 years ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- This repository has moved to codeberg☆19Feb 19, 2026Updated last month
- An implementation of the Knuth-Plass algorithm for breaking paragraphs into lines☆21May 1, 2021Updated 4 years ago
- Tool To Manage Linux Kernel Modules☆27May 25, 2023Updated 2 years ago
- Computer Papers☆11Jun 15, 2025Updated 9 months 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☆12Dec 12, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- man page to markdown converter☆15Jan 27, 2021Updated 5 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- ☆22Oct 3, 2022Updated 3 years ago
- Educational assembly VM☆11Dec 9, 2022Updated 3 years ago
- A type of light spherical helmet☆18Jun 11, 2024Updated last year
- ☆10May 19, 2025Updated 10 months ago
- git@github.com:yeasy/docker_practice.git☆12Sep 11, 2016Updated 9 years ago
- MonoRing: A monolithic distribution of the Ring programming language☆11Nov 10, 2025Updated 4 months ago
- Columbia University's Kermit for CP/M☆14Aug 28, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Zig Operating System. Zig 语言的简易操作系统。☆17Dec 4, 2023Updated 2 years ago
- Full or incremental static site generator for Ghost.☆12Aug 30, 2018Updated 7 years ago
- ☆10Oct 19, 2024Updated last year
- Makes it possible to really use concatenated idents in Rust.☆25Apr 23, 2024Updated last year
- translation tool☆11Apr 1, 2024Updated last year
- OAuth module for Guile☆21Jan 2, 2023Updated 3 years ago
- Cicada scripting language☆48Mar 19, 2026Updated last week