Alternatives and similar repositories for hola

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

• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 8 months ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆48Updated 2 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆161Updated this week
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 5 years ago
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆90Updated 11 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆46Updated 4 months ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• pa-ba / calc-comp
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆30Updated last year
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• ret / specifica
  Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
  ☆27Updated 2 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 4 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆132Updated last week
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆61Updated 5 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆68Updated 7 years ago