claudiosa / CCS

Related projects ⓘ

Alternatives and complementary repositories for CCS

• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated 10 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 6 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆27Updated 10 months ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• prologbyexample / code
  ☆27Updated last year
• aprolog-lang / aprolog
  αProlog
  ☆17Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 2 months ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• swi-to-yap / slack_prolog
  Prolog Slack Client
  ☆7Updated 3 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆18Updated last year
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆17Updated this week
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• nfzhou / lp-contest
  ☆10Updated last month
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆15Updated last year
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆40Updated 5 years ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆20Updated 9 months ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆15Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• mmcco / verified-parser-example
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆20Updated 9 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆41Updated 8 years ago
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆11Updated 5 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆47Updated 11 months ago