Alternatives and similar repositories for CCS

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

• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆15Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆11Updated 6 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated this week
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• aprolog-lang / aprolog
  αProlog
  ☆17Updated last year
• ocaml / num
  The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
  ☆38Updated 4 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 4 months ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 8 months ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated 2 weeks ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 5 years ago
• vscosta / yap
  ☆52Updated last month
• JUrban / MPTP2
  ☆19Updated 8 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆15Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• prologbyexample / code
  ☆29Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• nick8325 / equinox
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆20Updated last year
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago