A compiler for higher rank ML with type classes
☆13Aug 29, 2020Updated 5 years ago
Alternatives and similar repositories for UPL
Users that are interested in UPL are comparing it to the libraries listed below
Sorting:
- Julia implementation for Python Restrain JIT☆22Mar 3, 2021Updated 5 years ago
- Serialize & deserialize device tree binary using serde☆23Dec 4, 2025Updated 3 months ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- An IR for Python VM, provided with indirect jump instructions.☆18Jan 23, 2020Updated 6 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆117Feb 18, 2021Updated 5 years ago
- A report card for your Rust application☆14Jun 8, 2024Updated last year
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- 🍋柠檬的向现实低头条约 (🍋LemonHX's Bow To Life(XXSDT) License)☆13Jul 29, 2019Updated 6 years ago
- 韩语输入法 RIME IME schema for typing Korean Hangul and Hanja☆13Jul 10, 2020Updated 5 years ago
- ☆26Dec 29, 2020Updated 5 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 6 years ago
- Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).☆65Apr 5, 2018Updated 7 years ago
- A Python backend for PureScript.☆124Dec 3, 2021Updated 4 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- Python implementation of MD5 and Length Extension Attack (LEA)☆10Feb 20, 2018Updated 8 years ago
- 试图用 OpenGL 3.3 画个可爱（？大概吧）的小机器人。☆17Nov 27, 2024Updated last year
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- Small F# example programs for OpenTK☆16Jul 16, 2014Updated 11 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- Yet another Linux distro for RISC-V.☆13Dec 25, 2025Updated 2 months ago
- demoing Virtualization.framework changes in macOS 12 beta☆18Jun 30, 2021Updated 4 years ago
- yet another K-V store☆10Mar 2, 2018Updated 8 years ago
- The formal development repository for Pr47☆21Feb 21, 2023Updated 3 years ago
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 4 years ago
- (Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.☆25May 23, 2018Updated 7 years ago
- Svg based heatmaps in Elm☆14May 10, 2017Updated 8 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆41Nov 20, 2018Updated 7 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- bladeRF driver for SDR#☆11Oct 16, 2018Updated 7 years ago
- A web-based Markdown note-taking App for developers by Shaan Alam 🔥☆12Aug 30, 2023Updated 2 years ago
- Scripts to create cartoons of 3D genomes☆12Feb 27, 2024Updated 2 years ago
- A userspace filesystem backing by Apache OpenDAL.☆37Jan 8, 2026Updated 2 months ago
- A simple "stateless" finite-state machine library for .NET.☆22Feb 9, 2026Updated last month
- 世界语输入方案☆14Apr 12, 2022Updated 3 years ago
- ☆14Jul 23, 2025Updated 7 months ago
- HTTP load testing tool powered by Rust☆14Aug 14, 2018Updated 7 years ago