Functional expressions interpreter and compiler infrastructure
☆22Aug 2, 2026Updated last week
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:
- High Performance Key-Value Store☆50Updated this week
- import chat records from your im and store into single sqlite database☆10May 28, 2026Updated 2 months ago
- Emacs integration between fuz and ivy.☆12Dec 22, 2019Updated 6 years ago
- cross-platform Rust API for memory mapped IO☆10Sep 25, 2020Updated 5 years ago
- CHIP-8 Emulator in Rust☆13May 11, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- Rust binding for the Rime Input Method Engine.☆16Jan 8, 2019Updated 7 years ago
- Simple UTF library for C++☆13Jul 28, 2022Updated 4 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- Compiler_Principle☆11Jun 5, 2015Updated 11 years ago
- Interpreted, dynamically typed, object-oriented programming language☆24Jul 18, 2026Updated 3 weeks ago
- a framework for building wechat-app by using react.☆13Jun 3, 2018Updated 8 years ago
- C64 SID sound editor + player written in 6510 assembly☆15Apr 28, 2018Updated 8 years ago
- 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.
- This repository has moved to codeberg☆20Feb 19, 2026Updated 5 months ago
- Lua 5.3 compatible pure-Lua UTF-8 implementation☆12Jun 20, 2026Updated last month
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 8 years ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- ☆17Oct 24, 2018Updated 7 years ago
- ☆11Sep 11, 2016Updated 9 years ago
- Rust 官方周报（简体中文版）☆15Jul 15, 2021Updated 5 years ago
- An implementation of the Tsetlin Machine in Rust☆15Apr 15, 2018Updated 8 years ago
- Tool To Manage Linux Kernel Modules☆28May 25, 2023Updated 3 years ago
- 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.
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- Makes it possible to really use concatenated idents in Rust.☆26Apr 23, 2024Updated 2 years ago
- A 3D file loader designed to produce consistent mesh data regardless of file format. Intended for use as a front-end for triangle-based 3…☆13Apr 6, 2022Updated 4 years ago
- git@github.com:yeasy/docker_practice.git☆12Sep 11, 2016Updated 9 years ago
- Implement JVM by Emacs☆18Dec 24, 2019Updated 6 years ago
- ChocoPy LLVM Repo☆77Dec 9, 2022Updated 3 years ago
- 基于豆瓣开放平台 + react native + redux 实现的简易豆瓣app☆12Jul 29, 2016Updated 10 years ago
- Columbia University's Kermit for CP/M☆14Aug 28, 2017Updated 8 years ago
- ☆10Mar 23, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- UTF-8 encoding and decoding for LuaJIT☆12Jan 17, 2020Updated 6 years ago
- Doctests for Emacs Lisp☆25Feb 3, 2024Updated 2 years ago
- Racket-based implementation of Adapton☆25Jun 29, 2019Updated 7 years ago
- STM32F401 Discovery sensor demo with BlueNRG device☆11Jul 9, 2014Updated 12 years ago
- 用cpp编写的一个实现了最核心功能的YACC,供练习使用.☆10Aug 28, 2017Updated 8 years ago
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago
- SME Lucky Draw app source code.☆14Jan 26, 2016Updated 10 years ago