Alternatives and similar repositories for funQ

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

• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆34Updated 2 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 5 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆152Updated last month
• RedPRL / cooltt
  😎TT
  ☆241Updated 2 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• Anderssorby / SDL.lean
  SDL2 bindings for lean
  ☆23Updated last month
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆53Updated last month
• agda / agda-language-server
  Language Server for Agda
  ☆123Updated 3 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆149Updated 3 weeks ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆41Updated 4 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆75Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 11 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆35Updated 3 months ago
• Russoul / Idris2-Effect
  Experimental effects library for Idris 2
  ☆43Updated 3 years ago
• RedPRL / redtt
  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
  ☆214Updated 3 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆65Updated last year
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆37Updated 5 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆138Updated 2 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆97Updated 11 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆94Updated 10 months ago
• HigherOrderCO-archive / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆60Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• well-typed / haskell-debugger
  A modern step-through debugger for GHC Haskell
  ☆111Updated last week
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆28Updated 2 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆39Updated last week
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆131Updated 4 months ago