gsdlab / clafer

Related projects ⓘ

Alternatives and complementary repositories for clafer

• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 8 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆12Updated 9 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 3 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆78Updated 7 years ago
• michaelt / tagless
  oleg modules
  ☆30Updated 11 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 9 years ago
• mainland / language-c-quote
  ☆58Updated 4 months ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• diagrams / diagrams-contrib
  User-contributed extensions to diagrams
  ☆27Updated 3 weeks ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated last month
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• philzook58 / datalog-book
  A book about datalog
  ☆12Updated last year
• scribble / scribble-language-guide
  The Scribble language guide.
  ☆14Updated 8 years ago
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆90Updated 10 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 9 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated 9 months ago
• lucch / pesca
  pesca: Proof Editor for Sequent Calculus (mirror)
  ☆10Updated 7 years ago