Alternatives and similar repositories for unifier

Users that are interested in unifier are comparing it to the libraries listed below

• raptazure / mauve

  View on GitHub
  🍎 Play Bad Apple! with Haskell
  ☆15Jul 22, 2022Updated 3 years ago
• h1trust / about

  View on GitHub
  🌿 For you, rustaceans from HIT
  ☆26Mar 2, 2024Updated last year
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• h1trust / awesome-hit-rust

  View on GitHub
  🌸 A curated list of Rust code and resources from Hitrust
  ☆36Dec 13, 2020Updated 5 years ago
• raptazure / experiments

  View on GitHub
  Just toys
  ☆10Mar 5, 2023Updated 2 years ago
• GITHUBear / talent_plan_dss

  View on GitHub
  An Implementation for Raft Lab
  ☆11Mar 1, 2020Updated 5 years ago
• jonasbuntinx / gatsby-purescript-example

  View on GitHub
  Simple example app using Gatsby.js with Purescript
  ☆12Jan 6, 2023Updated 3 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated 11 months ago
• dragonly / HasCraft

  View on GitHub
  A Minecraft demo in Haskell ;)
  ☆12Mar 11, 2016Updated 9 years ago
• bigs / idris2-libgit2

  View on GitHub
  Libgit2 bindings for Idris 2
  ☆13Sep 10, 2020Updated 5 years ago
• PsiACE / TiDB-A-Raft-based-HTAP-Database

  View on GitHub
  Unofficial! English original and Chinese translation of the paper.
  ☆51Jun 16, 2024Updated last year
• lambda-magic / plt-books

  View on GitHub
  Books on programming language theory and linguistics in general.
  ☆56Jul 16, 2021Updated 4 years ago
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 2 months ago
• KunoiSayami / Following-Special-Friends-Telegram

  View on GitHub
  A bot that can monitor specify user send message to your common group
  ☆13Feb 4, 2026Updated last week
• edwinb / idris2-clibs

  View on GitHub
  Idris 2 bindings to various C libraries
  ☆15Jun 28, 2021Updated 4 years ago
• hydrolarus / toml-idr

  View on GitHub
  A TOML parser for Idris 2
  ☆17Jun 27, 2024Updated last year
• yukiiiteru / DailySchedule_2020

  View on GitHub
  OS Tutorial Summer of Code 2020
  ☆19Jun 7, 2022Updated 3 years ago
• trackoor / Chi

  View on GitHub
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Jul 13, 2020Updated 5 years ago
• ShisoftResearch / Nebuchadnezzar

  View on GitHub
  High Performance Key-Value Store
  ☆50Updated this week
• idris-hackers / iQuery

  View on GitHub
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Jan 15, 2018Updated 8 years ago
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago
• ayberkt / sequents

  View on GitHub
  Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
  ☆26Nov 27, 2023Updated 2 years ago
• LinkTed / async-http-proxy

  View on GitHub
  Lightweight asynchronous HTTP proxy client library
  ☆32Feb 19, 2022Updated 3 years ago
• losfair / Violet

  View on GitHub
  Superscalar RISC-V processor written in Clash.
  ☆35Aug 23, 2022Updated 3 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• lynzrand / chigusa

  View on GitHub
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Jun 1, 2020Updated 5 years ago
• xnning / MpEff

  View on GitHub
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆33Mar 16, 2021Updated 4 years ago
• BusyJay / mini-pd

  View on GitHub
  A minimal implementation of tikv/pd in Rust.
  ☆65Jul 28, 2021Updated 4 years ago
• david-christiansen / derive-all-the-instances

  View on GitHub
  Work on type class deriving with elaboration reflection
  ☆32Sep 9, 2018Updated 7 years ago
• Russoul / Idris2-Effect

  View on GitHub
  Experimental effects library for Idris 2
  ☆43May 13, 2022Updated 3 years ago
• rust-analyzer / minirust

  View on GitHub
  ☆33Sep 4, 2020Updated 5 years ago
• fosskers / org-mode

  View on GitHub
  Parser for Emacs org-mode files
  ☆37Dec 12, 2025Updated 2 months ago
• crlf0710 / tex-rs

  View on GitHub
  A port of TeX82 to Rust. (WIP)
  ☆35Feb 20, 2022Updated 3 years ago
• tikv / yatp

  View on GitHub
  Yet another thread pool in rust for both callbacks or futures.
  ☆141Sep 6, 2024Updated last year
• brucechin / Rust-LSM-KV

  View on GitHub
  build a simple key value store based on LSM tree like rocksdb/leveldb
  ☆41Mar 16, 2020Updated 5 years ago
• jonsterling / dreamtt

  View on GitHub
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆86Sep 13, 2021Updated 4 years ago
• stefan-hoeck / idris2-sop

  View on GitHub
  Idris port of Haskell's sop-core library
  ☆37Aug 14, 2025Updated 5 months ago
• kim / leveldb-haskell

  View on GitHub
  Haskell bindings to LevelDB (https://github.com/google/leveldb)
  ☆67Feb 25, 2025Updated 11 months ago
• brupst / brupst

  View on GitHub
  Rustaceans from Beijing University of Posts and Telecommunications.
  ☆32Dec 3, 2021Updated 4 years ago