Alternatives and similar repositories for canrun_rs

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

• richardanaya / view

  View on GitHub
  a macro for constructing views in Rust 🏗️
  ☆105Jul 29, 2020Updated 5 years ago
• AndrasKovacs / normalization-bench

  View on GitHub
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆59Apr 15, 2021Updated 4 years ago
• martypapa / debug-tree

  View on GitHub
  Visualise recursive functions and tree structures.
  ☆30Jun 6, 2021Updated 4 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated last month
• laMudri / generic-lr

  View on GitHub
  AACMM's generic-syntax, but with QTT-style annotations
  ☆21Apr 7, 2024Updated last year
• ajrouvoet / ternary.agda

  View on GitHub
  An Agda library for programming with ternary relations
  ☆18Apr 9, 2025Updated 10 months ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• RazrFalcon / ttf-explorer

  View on GitHub
  A simple tool to explore a TrueType font content as a tree
  ☆30Jan 4, 2022Updated 4 years ago
• L-TChen / BiSig

  View on GitHub
  Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
  ☆21Jan 30, 2024Updated 2 years ago
• jespercockx / agda2scheme

  View on GitHub
  Compiler backend for generating Scheme code
  ☆28Nov 27, 2025Updated 2 months ago
• fitzgen / peepmatic

  View on GitHub
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64May 14, 2020Updated 5 years ago
• gallais / typing-with-leftovers

  View on GitHub
  Self-contained repository for the eponymous paper
  ☆30Jan 11, 2019Updated 7 years ago
• owo-lang / voile-rs

  View on GitHub
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆99Sep 21, 2020Updated 5 years ago
• SparkyPotato / yam

  View on GitHub
  A low level, expressive language
  ☆14Dec 12, 2024Updated last year
• kdy1 / is-macro

  View on GitHub
  Moved to https://github.com/dudykr/ddbase
  ☆16Dec 14, 2023Updated 2 years ago
• ekzhang / ukanren-rs

  View on GitHub
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆117Jan 1, 2023Updated 3 years ago
• Kixiron / sruth

  View on GitHub
  Sruth Lùbach: A toy optimization engine
  ☆23Jun 7, 2021Updated 4 years ago
• sstucki / pts-agda

  View on GitHub
  A formalization of Pure Type Systems (PTS) in Agda
  ☆28Jul 3, 2025Updated 7 months ago
• zaklogician / typical-antiphrasis

  View on GitHub
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆41Oct 5, 2020Updated 5 years ago
• ss7m / motsu

  View on GitHub
  A simple image viewer and cropper
  ☆14Apr 22, 2022Updated 3 years ago
• TyberiusPrime / nested_intervals

  View on GitHub
  nested & overlapping interval set functions, overlap, union, etc (Rust)
  ☆17Apr 22, 2024Updated last year
• dureuill / stackpin

  View on GitHub
  Crate for data that should be pinned to the stack at the point of declaration.
  ☆14Dec 21, 2020Updated 5 years ago
• rust-secure-code / cargo-repro

  View on GitHub
  Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow
  ☆59Mar 11, 2021Updated 4 years ago
• advancedresearch / poi

  View on GitHub
  a pragmatic point-free theorem prover assistant
  ☆143Sep 21, 2025Updated 4 months ago
• mb64 / prolog

  View on GitHub
  A simple prolog implementation in Rust
  ☆26Nov 14, 2020Updated 5 years ago
• szumixie / stlc

  View on GitHub
  Simply-typed lambda calculus as a QIT in cubical Agda + normalization
  ☆15Jan 23, 2024Updated 2 years ago
• Chaaaos / formaltt

  View on GitHub
  Formalization of type theory
  ☆22Jul 5, 2021Updated 4 years ago
• CAD97 / pegcel

  View on GitHub
  A syn targetting PEG parser generator
  ☆20Jun 11, 2023Updated 2 years ago
• dureuill / transfer

  View on GitHub
  'Transfer' is to 'move' what 'Clone' is to 'copy'
  ☆12Oct 13, 2019Updated 6 years ago
• philzook58 / egglog0

  View on GitHub
  Datalog + Egg = Good
  ☆66May 31, 2023Updated 2 years ago
• madprops / qool

  View on GitHub
  Make QR Code images
  ☆25Nov 4, 2019Updated 6 years ago
• ruuda / pris

  View on GitHub
  A language for designing slides
  ☆117Dec 3, 2025Updated 2 months ago
• Soonad / Moonad

  View on GitHub
  An upcoming operating system built on Type-Theory
  ☆43Jul 1, 2020Updated 5 years ago
• soenkehahn / cradle

  View on GitHub
  Rust library for running child processes
  ☆38Oct 4, 2025Updated 4 months ago
• samskivert / compose

  View on GitHub
  An experimental programming language.
  ☆19May 16, 2019Updated 6 years ago
• AliasQli / tactics

  View on GitHub
  ☆16Mar 11, 2022Updated 3 years ago
• matthunz / async-hal

  View on GitHub
  ☆26Jun 9, 2023Updated 2 years ago
• rocq-community / bits

  View on GitHub
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆24Sep 7, 2025Updated 5 months ago
• gmorenz / qc

  View on GitHub
  Experimental Quantum Computer Simulator + Quantum Chess Implementation
  ☆19Jan 4, 2021Updated 5 years ago