Alternatives and similar repositories for curry2go

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

• cau-placc / pakcs

  View on GitHub
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Dec 16, 2025Updated last month
• arcadio / data-logic

  View on GitHub
  Expert system with deductive querying and verification of constraints expressed in natural language
  ☆22May 28, 2025Updated 8 months ago
• trycatchnet / lowerweb

  View on GitHub
  Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…
  ☆15Dec 30, 2025Updated last month
• alviano / asp-chef

  View on GitHub
  ☆12Jan 28, 2026Updated 2 weeks ago
• curry-language / kics2

  View on GitHub
  An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
  ☆20Dec 15, 2025Updated last month
• gteege / gentle-isabelle

  View on GitHub
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Mar 27, 2025Updated 10 months ago
• fwcd / curry-language-server

  View on GitHub
  IDE support for the functional logic programming language Curry
  ☆35Oct 23, 2025Updated 3 months ago
• kyledewey / typed-prolog

  View on GitHub
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Oct 18, 2017Updated 8 years ago
• ciao-lang / ciao

  View on GitHub
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆327Jun 21, 2025Updated 7 months ago
• fifth-postulate / functional-geometry-in-prolog

  View on GitHub
  Functional Geometry in Prolog
  ☆18May 17, 2020Updated 5 years ago
• dom96 / nael

  View on GitHub
  Stack-based language similar to Factor.
  ☆26Jun 14, 2018Updated 7 years ago
• plfa / plfl

  View on GitHub
  Programming Language Foundations in Lean
  ☆48Jul 22, 2025Updated 6 months ago
• SWI-Prolog / bench

  View on GitHub
  Prolog benchmarks (`van Roy' set)
  ☆18Jan 28, 2026Updated 2 weeks ago
• harmonylang / harmony

  View on GitHub
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆32Oct 3, 2025Updated 4 months ago
• Mercury-Language / mercury

  View on GitHub
  The Mercury logic programming system.
  ☆982Updated this week
• eduAguilar96 / Swordsmen

  View on GitHub
  ITESM project
  ☆10Dec 5, 2016Updated 9 years ago
• hhu-stups / prolog-jupyter-kernel

  View on GitHub
  A Jupyter kernel for Prolog
  ☆24May 7, 2024Updated last year
• LogtalkDotOrg / logtalk3

  View on GitHub
  Logtalk - declarative object-oriented logic programming language
  ☆474Updated this week
• HackerFoo / peg

  View on GitHub
  A lazy non-deterministic concatenative programming language
  ☆55Aug 3, 2013Updated 12 years ago
• JCarter426 / KOTOR2-Loot-Overhaul

  View on GitHub
  An effort to improve the random loot system in Star Wars: Knights of the Old Republic II - The Sith Lords
  ☆11Sep 1, 2025Updated 5 months ago
• jjdishere / EG

  View on GitHub
  Formalizing Euclidean Geometry in Lean
  ☆30Mar 21, 2024Updated last year
• friguzzi / cplint

  View on GitHub
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆82Jan 20, 2026Updated 3 weeks ago
• niallang / Nial_Development

  View on GitHub
  ☆34Oct 23, 2022Updated 3 years ago
• Ricardicus / ric-script

  View on GitHub
  A modern scripting language; implemented in old school C, yacc & flex
  ☆33Dec 3, 2025Updated 2 months ago
• domoritz / clingo-wasm

  View on GitHub
  Clingo on the web
  ☆44Feb 1, 2026Updated last week
• HenryMarkle / Leditor

  View on GitHub
  An alternative to the Rain World's official level editor
  ☆11Aug 2, 2025Updated 6 months ago
• ahmedshahriar / TwitterCelebrityMatcher

  View on GitHub
  Match celebrity users with their respective tweets by making use of Semantic Textual Similarity on over 900+ celebrity users' 2.5 million…
  ☆13Nov 21, 2023Updated 2 years ago
• hjbolus / Mathematical-Logic-Through-Python

  View on GitHub
  Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…
  ☆13Oct 2, 2025Updated 4 months ago
• luckie / best_in_place

  View on GitHub
  A RESTful unobtrusive jQuery Inplace-Editor and a helper as a Rails Gem http://blog.bernatfarrero.com/in-place-editing-with-javascript-jq…
  ☆18Jul 23, 2013Updated 12 years ago
• Kuuuuuuuu / Kuuuuuuuu

  View on GitHub
  Profile and Junk Storage!
  ☆11Dec 7, 2025Updated 2 months ago
• CognifyDev / ClashOfGods

  View on GitHub
  An epoch-making Among Us mod with a plugin system that allows you to make your own plugin by EASY computer language JavaScript
  ☆13Updated this week
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• taxue-vernon / MediaStateT

  View on GitHub
  一个多媒体系统的桌面端
  ☆11Feb 9, 2024Updated 2 years ago
• ctechols / vim-HideShow

  View on GitHub
  Interactive, regex-based folding
  ☆15Jun 15, 2015Updated 10 years ago
• melfkammholz / aoc-submissions

  View on GitHub
  Advent of Code Submission Board showcasing solutions of CAU CS students/alumni
  ☆11Dec 14, 2025Updated 2 months ago
• cedille / cedille2

  View on GitHub
  ☆17Jan 3, 2025Updated last year
• prof-spock / LilypondToBandVideoConverter

  View on GitHub
  Generator for Notation Backing Track Videos from Lilypond Files
  ☆10Oct 23, 2024Updated last year
• tomas-stefano / financial

  View on GitHub
  Manage your money in the terminal with A Ruby DSL
  ☆16Jan 1, 2026Updated last month
• aaron-p1 / virt-notes.nvim

  View on GitHub
  A neovim plugin to add notes or comments to any buffer
  ☆13Sep 10, 2023Updated 2 years ago