Alternatives and similar repositories for first_order_logic_prover

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

• MarisaKirisame / lambda_calculus

  View on GitHub
  ☆14Oct 30, 2015Updated 10 years ago
• MarisaKirisame / CompilingCombinator

  View on GitHub
  Code for my blog
  ☆11Feb 26, 2017Updated 8 years ago
• MarisaKirisame / algebraic_data_type

  View on GitHub
  ☆19Oct 13, 2015Updated 10 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 9 years ago
• sunnycase / TomatoOS

  View on GitHub
  一个C++实现的简单操作系统
  ☆17Jul 26, 2015Updated 10 years ago
• clarus / falso

  View on GitHub
  A proof of false in Coq.
  ☆101Nov 1, 2019Updated 6 years ago
• madvorak / lean3-tactic-lean4

  View on GitHub
  Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
  ☆26Oct 13, 2025Updated 4 months ago
• TerrorJack / erumpo

  View on GitHub
  Just a prototype, but will be improved soon.
  ☆22Jan 9, 2015Updated 11 years ago
• tioover / ika

  View on GitHub
  Lisp interpreter
  ☆10Jan 8, 2015Updated 11 years ago
• MichaelSuen-thePointer / mqLinq

  View on GitHub
  yet another linq implementation in C++
  ☆10Jul 22, 2016Updated 9 years ago
• MislankaNova / geo

  View on GitHub
  Procedural terrain generator.
  ☆10Jan 28, 2018Updated 8 years ago
• smarr / CSOM

  View on GitHub
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Jul 16, 2021Updated 4 years ago
• fanyang89 / PatternMatchingExtension

  View on GitHub
  A pattern matching extension for C#6
  ☆12May 20, 2016Updated 9 years ago
• MarisaKirisame / MemoryBalancer

  View on GitHub
  ☆23Apr 28, 2023Updated 2 years ago
• owo-lang / narc-rs

  View on GitHub
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Oct 5, 2020Updated 5 years ago
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• vritvij / First-Order-Logic-Inference-Engine

  View on GitHub
  A C++ program that can tell statements to and ask a query from a first order logic based knowledge base. Inserting statements into the kn…
  ☆12Mar 2, 2017Updated 8 years ago
• KeenS / rustlisp

  View on GitHub
  a type level lisp interpreter on Rust's type system
  ☆10Nov 11, 2016Updated 9 years ago
• SnowOnion / Proof-Theory-Notes-zh_CN

  View on GitHub
  我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…
  ☆11Oct 30, 2018Updated 7 years ago
• ThoughtWorksInc / DeepDarkFantasy

  View on GitHub
  A Programming Language for Deep Learning
  ☆462May 10, 2018Updated 7 years ago
• nobutaka / nanopass

  View on GitHub
  Nanopass scheme compiler in scheme for x86
  ☆68Feb 2, 2017Updated 9 years ago
• nixeagle / cl-github

  View on GitHub
  Common lisp interface to the github API.
  ☆22May 30, 2010Updated 15 years ago
• SiriusNEO / Masterball

  View on GitHub
  A Compiler from "Mx* language" (A C++ & Java like language) to RV32I Assembly, with optimizations on LLVM IR. SJTU CS2966 Project.
  ☆12Feb 12, 2023Updated 3 years ago
• smarr / SOMpp

  View on GitHub
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Aug 23, 2025Updated 5 months ago
• Wenda302 / IsarStep

  View on GitHub
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Mar 15, 2021Updated 4 years ago
• neutronest / vortex

  View on GitHub
  a Haskell implementation of Deep Learning frameworks.
  ☆12Mar 29, 2016Updated 9 years ago
• Yuras / io-region

  View on GitHub
  Exception safe resource management
  ☆22Sep 7, 2025Updated 5 months ago
• mAarnos / Serkr

  View on GitHub
  An automated theorem prover for first order logic.
  ☆30Mar 23, 2017Updated 8 years ago
• MaskRay / CamlFeatherweight

  View on GitHub
  Bytecode compiler of a variant of Caml
  ☆34Jun 4, 2015Updated 10 years ago
• dotnetGame / Moesocks

  View on GitHub
  A Proxy Server Written in C#
  ☆23Dec 8, 2022Updated 3 years ago
• rrnewton / Essentials-of-Compilation

  View on GitHub
  A book about compiling Racket to x86-64 assembly
  ☆21Nov 13, 2017Updated 8 years ago
• dushibaiyu / QSocket5Tunnel

  View on GitHub
  ☆15Sep 8, 2015Updated 10 years ago
• oscomp / proj6-user-level-interrupt

  View on GitHub
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Apr 1, 2025Updated 10 months ago
• racket / algol60

  View on GitHub
  ☆13Nov 21, 2025Updated 2 months ago
• robbertkrebbers / ch2o

  View on GitHub
  ☆89Feb 9, 2022Updated 4 years ago
• leanprover / tc

  View on GitHub
  Reference type checker for the Lean theorem prover
  ☆64Mar 17, 2017Updated 8 years ago
• roglo / banach_tarski

  View on GitHub
  Formal proof in Coq of Banach-Tarski paradox.
  ☆19Jan 9, 2026Updated last month
• winterland1989 / unboxed-ref

  View on GitHub
  Fast unboxed references for ST and IO monad
  ☆15Jul 17, 2017Updated 8 years ago
• Gertjan423 / KHC

  View on GitHub
  KU Leuven Haskell Compiler
  ☆15Aug 16, 2021Updated 4 years ago