MarisaKirisame/first_order_logic_prover external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

MarisaKirisame/first_order_logic_prover

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/MarisaKirisame/first_order_logic_prover)

Close

MarisaKirisame / first_order_logic_proverView on GitHubMore

• External links
• Readme badge

☆60Feb 27, 2018Updated 8 years ago

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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Z-Shang / LICPP

  View on GitHub
  Lisp Flavoured C++
  ☆29Mar 12, 2021Updated 5 years ago
• MarisaKirisame / lambda_calculus

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

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

  View on GitHub
  Code for my blog
  ☆10Feb 26, 2017Updated 9 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 10 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• sunnycase / TomatoOS

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

  View on GitHub
  A proof of false in Coq.
  ☆105Nov 1, 2019Updated 6 years ago
• TerrorJack / erumpo

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

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

  View on GitHub
  An automated theorem prover for first order logic.
  ☆31Mar 23, 2017Updated 9 years ago
• ThoughtWorksInc / DeepDarkFantasy

  View on GitHub
  A Programming Language for Deep Learning
  ☆459May 10, 2018Updated 8 years ago
• tioover / ika

  View on GitHub
  Lisp interpreter
  ☆10Jan 8, 2015Updated 11 years ago
• stepchowfun / theorem-prover

  View on GitHub
  An automated theorem prover for first-order logic.
  ☆243Nov 25, 2021Updated 4 years ago
• MaskRay / CamlFeatherweight

  View on GitHub
  Bytecode compiler of a variant of Caml
  ☆33Jun 4, 2015Updated 11 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• eggs-cpp / eggs-sqlite

  View on GitHub
  Eggs.SQLite is a Modern C++ thin wrapper over SQLite
  ☆14Aug 30, 2012Updated 13 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
  ☆27Oct 13, 2025Updated 9 months ago
• xuzhuoyi / LDE

  View on GitHub
  龙芯桌面环境 Loongson Desktop Environment
  ☆25Oct 6, 2016Updated 9 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
• 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
• 12k-Tech-Group / 12k-Posts

  View on GitHub
  https://12k.tech
  ☆12Sep 6, 2020Updated 5 years ago
• dotnetGame / Moesocks

  View on GitHub
  A Proxy Server Written in C#
  ☆23Dec 8, 2022Updated 3 years ago
• AM-young-fun / EveryoneCG

  View on GitHub
  The 人人图形学 Project. ~明目张胆抄袭，谢谢大家。~
  ☆14Feb 11, 2019Updated 7 years ago
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• neutronest / vortex

  View on GitHub
  a Haskell implementation of Deep Learning frameworks.
  ☆12Mar 29, 2016Updated 10 years ago
• winterland1989 / unboxed-ref

  View on GitHub
  Fast unboxed references for ST and IO monad
  ☆15Jul 17, 2017Updated 9 years ago
• yjhatfdu / LLpractice

  View on GitHub
  An html5 based LoveLive school idol festival simulator for practice
  ☆68May 11, 2018Updated 8 years ago
• MarisaKirisame / MemoryBalancer

  View on GitHub
  ☆23Apr 28, 2023Updated 3 years ago
• MislankaNova / geo

  View on GitHub
  Procedural terrain generator.
  ☆10Jan 28, 2018Updated 8 years ago
• batterseapower / supercompilation-by-evaluation

  View on GitHub
  Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.
  ☆17Sep 10, 2021Updated 4 years ago
• fanyang89 / PatternMatchingExtension

  View on GitHub
  A pattern matching extension for C#6
  ☆12May 20, 2016Updated 10 years ago
• rschwiebert / RingApp

  View on GitHub
  A database app for ring theory
  ☆22Jul 22, 2026Updated 2 weeks ago
• shouya / thinking-dumps

  View on GitHub
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆31Mar 16, 2024Updated 2 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• bgamari / the-thoralf-plugin

  View on GitHub
  This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
  ☆21Jan 31, 2022Updated 4 years ago
• vseloved / cl-parsec

  View on GitHub
  Parser combinators in Common Lisp
  ☆23Mar 24, 2010Updated 16 years ago
• roglo / banach_tarski

  View on GitHub
  Formal proof in Coq of Banach-Tarski paradox.
  ☆19Mar 26, 2026Updated 4 months ago
• Gertjan423 / KHC

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

  View on GitHub
  Original galgame engine for windows 10
  ☆17Nov 13, 2015Updated 10 years ago
• robbertkrebbers / ch2o

  View on GitHub
  ☆91Feb 9, 2022Updated 4 years ago
• koka-lang / libmprompt

  View on GitHub
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆139Mar 24, 2026Updated 4 months ago