Alternatives and similar repositories for users

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

• kvetak / RINA
  RINA Simulator
  ☆29Updated 4 years ago
• IRATI / stack
  RINA implementation for OS/Linux
  ☆76Updated last year
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• TokTok / hs-toxcore
  Haskell Tox protocol implementation
  ☆42Updated 3 months ago
• kliment / explicitcad
  A graphical user interface for implicitcad
  ☆23Updated 4 years ago
• au-ts / cogent
  Cogent Project
  ☆165Updated 3 months ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 6 months ago
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆51Updated last year
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• theoremprover-museum / HOL88
  The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…
  ☆10Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆105Updated 9 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 11 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 2 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• stokito / fortress-lang
  ☆56Updated 8 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• odipar / spread
  SPREAD
  ☆19Updated 4 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• jkff / splot
  Visualizing the activity of many concurrent processes
  ☆59Updated 5 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 5 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆145Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago