Alternatives and similar repositories for solutions

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

• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆18Updated this week
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years ago
• andrejbauer / clerical

  View on GitHub
  Command-like expressions for real infinite-precision calculations
  ☆55Aug 5, 2025Updated 6 months ago
• XiNiHa / relay-zed

  View on GitHub
  Relay support for Zed
  ☆10Sep 25, 2025Updated 4 months ago
• simnalamburt / realnocode

  View on GitHub
  
  ☆12Feb 4, 2024Updated 2 years ago
• kyaryunha / tex-design-three-slash

  View on GitHub
  Academic Report Form, written in TeX. Designed and Developed by Kyaryunha, All Rights Reserved.
  ☆12Mar 14, 2022Updated 3 years ago
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• nellaG / commandict

  View on GitHub
  Use DAUM dictionary via terminal!
  ☆12Jul 3, 2020Updated 5 years ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Dec 10, 2025Updated 2 months ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated 3 weeks ago
• KiJeong-Lim / portfolio

  View on GitHub
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆14Jan 28, 2026Updated 2 weeks ago
• deepeshpatel / jnumbertools

  View on GitHub
  JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…
  ☆12May 13, 2025Updated 9 months ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• tomjaguarpaw / Arrows2

  View on GitHub
  Ideas for the next generation of Haskell's Arrow notation
  ☆12Dec 23, 2019Updated 6 years ago
• well-typed / debuggable

  View on GitHub
  Utilities for making your applications more debuggable.
  ☆16Dec 4, 2024Updated last year
• CakeML / candle

  View on GitHub
  The Candle theorem prover (fork of the HOL Light sources)
  ☆18Updated this week
• simnalamburt / uniqs

  View on GitHub
  Rust uniq(1) alternative with streaming support
  ☆15Mar 11, 2025Updated 11 months ago
• psl-lang / psl

  View on GitHub
  🎈 A Modern Programming Language Empowering Algorithmic Thinking
  ☆14Jun 24, 2024Updated last year
• composewell / unicode-data

  View on GitHub
  Access unicode character database
  ☆18Sep 16, 2025Updated 4 months ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated last year
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆29Oct 24, 2025Updated 3 months ago
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 4 months ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆38Sep 30, 2025Updated 4 months ago
• simnalamburt / snucse.pl

  View on GitHub
  4190.310 Programming Languages (Fall 2015)
  ☆36Sep 28, 2017Updated 8 years ago
• AntanasKal / yampa-wasm-example

  View on GitHub
  Example of using Yampa and GHC Wasm backend to create a simple web app.
  ☆19Dec 10, 2023Updated 2 years ago
• RanolP / resume

  View on GitHub
  Modern résumé built with Typst
  ☆18May 6, 2025Updated 9 months ago
• obsidiansystems / beam-automigrate

  View on GitHub
  Generated migrations for beam databases
  ☆23Dec 25, 2025Updated last month
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• Innf107 / vega-prototype

  View on GitHub
  Prototype for https://github.com/Innf107/vega
  ☆19Jul 22, 2024Updated last year
• HKUNLP / subgoal-theorem-prover

  View on GitHub
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19May 25, 2023Updated 2 years ago
• simnalamburt / cloudkeeper

  View on GitHub
  (discontinued) Don't let IRCCloud disconnect you from the network.
  ☆17Sep 9, 2020Updated 5 years ago
• basehangul / basehangul.github.io

  View on GitHub
  한글을 이용한 바이너리 인코딩
  ☆20Dec 21, 2016Updated 9 years ago
• portone-io / tagged-md

  View on GitHub
  Transform tagged Markdown string to HTML during build time.
  ☆24May 22, 2023Updated 2 years ago
• xqyww123 / Isa-Mini

  View on GitHub
  A minimal language for Isabelle/HOL, designed for easing machine learning.
  ☆25Jan 13, 2026Updated last month
• coot / free-category

  View on GitHub
  Free categories, free arrows and free categories with monadic actions
  ☆24Mar 4, 2025Updated 11 months ago
• LaurentRDC / javelin

  View on GitHub
  Haskell implementation of data structures for data science
  ☆24Jan 2, 2026Updated last month
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 years ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆55Nov 15, 2024Updated last year