Alternatives and similar repositories for CCS

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

• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆18Updated 7 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 7 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated 3 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆12Updated 6 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• vscosta / yap
  ☆62Updated 2 months ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆17Updated 2 years ago
• ocaml / num
  The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
  ☆38Updated 6 months ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆22Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 8 years ago
• xavierleroy / camlidl
  Stub code generator for OCaml/C interface
  ☆36Updated 5 months ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆39Updated 7 years ago
• StrykerKKD / Logical
  Minimalistic logic programming framework
  ☆22Updated 5 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated 2 weeks ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• nfzhou / lp-contest
  ☆11Updated 3 months ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆20Updated 13 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆17Updated 3 years ago