Yet Another Efficient Unification Algorithm
☆28Oct 10, 2025Updated last year
Alternatives and similar repositories for ut
Users that are interested in ut are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- generate arbitrary sequence diffs☆15Jun 11, 2018Updated 8 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- A datalog implementation in pure Lua (LPEG parser).☆24Oct 9, 2025Updated last year
- vue可视化配置echarts图表编辑器☆11Nov 2, 2020Updated 5 years ago
- A strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A safe and efficient target language for functional compilers☆20May 5, 2018Updated 8 years ago
- Pure Rust CDB library☆18Apr 25, 2019Updated 7 years ago
- Parser-combinator in Go☆10Jul 19, 2020Updated 6 years ago
- a tiny string library☆23Feb 3, 2016Updated 10 years ago
- GTA(Go Task Async) is a lightweight reliable asynchronous task and transaction message library for Golang / GTA是一个轻量的可靠异步任务和事务消息的框架☆14May 19, 2021Updated 5 years ago
- APUE(Unix环境高级编程)例子Golang版实现☆18Nov 30, 2015Updated 10 years ago
- Prolog interpreter in Go☆373Nov 12, 2019Updated 6 years ago
- generates `ClassMirror` from classes annotated with `@reflectable` or `@Reflectable()`☆14Jun 4, 2023Updated 3 years ago
- The heptabase mcp☆17May 24, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mirror of KeyBase data☆10Jan 4, 2018Updated 8 years ago
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- moved to https://git.awalterschulze.org/gominikanren☆47Oct 23, 2026Updated last week
- ☆23Apr 9, 2016Updated 10 years ago
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- AWS Elastic Beanstalk Go Demo☆10Feb 17, 2017Updated 9 years ago
- The header only implementation of the liburing library☆19Sep 5, 2024Updated 2 years ago
- OMR JIT glue code implementing a Ruby JIT☆12Dec 6, 2016Updated 9 years ago
- Yet another C compiler.☆30Dec 30, 2025Updated 10 months 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.
- ☆24Mar 19, 2018Updated 8 years ago
- quick c☆37Mar 19, 2022Updated 4 years ago
- compiler☆36Aug 16, 2014Updated 12 years ago
- This parser is an implementation of a Packrat Parser with support for left-recursion. The algorithm for left recursion is a modified vers…☆17Nov 11, 2019Updated 6 years ago
- Maze generation & solving with Python☆10Oct 2, 2021Updated 5 years ago
- DynSem☆13Apr 28, 2025Updated last year
- A bidirectional type checker☆67Jun 19, 2017Updated 9 years ago
- create lots of data for backup scalability testing☆13Oct 9, 2021Updated 5 years ago
- A static site generator written in janet☆13Oct 9, 2020Updated 6 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.
- Tools to create filesystem images from an fspec filesystem specification.☆17Apr 21, 2024Updated 2 years ago
- adaptive replacement cache☆33Aug 1, 2014Updated 12 years ago
- Tailwind Starter Template☆23Dec 2, 2022Updated 3 years ago
- Implementation of the CRUSH Algorithm in Go☆32Jun 23, 2020Updated 6 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Jan 15, 2018Updated 8 years ago
- A library for representing HTML in Janet☆13Apr 29, 2022Updated 4 years ago
- Sliding-LogLog-Beta☆36Jun 13, 2017Updated 9 years ago