Alternatives and similar repositories for FLiP

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

• ltratt / converge
  The Converge programming language
  ☆88Updated 5 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• rfk / promise
  optimise python code using staticness assertions
  ☆60Updated 7 years ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• built / wheeler
  Wheeler is a programming language
  ☆43Updated 11 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆112Updated last year
• brownplt / lambda-py
  ☆58Updated 11 years ago
• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆24Updated 11 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆13Updated last week
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆35Updated last year
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆26Updated 4 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 13 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆21Updated 12 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 11 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 9 months ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• zhemao / funktown
  Immutable Data Structures for Python
  ☆75Updated 9 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• carl-eastlund / dracula
  ☆10Updated 9 years ago
• mitsuhiko / multiversion
  A hack that allows you to use different versions of the same library in the same Python process without clashes
  ☆90Updated 13 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year