dmbarbour / SireaLinks
Simply Reactive! Declarative orchestration in Haskell using RDP
β272Updated 12 years ago
Alternatives and similar repositories for Sirea
Users that are interested in Sirea are comparing it to the libraries listed below
Sorting:
- Type-safe physical computations and unit conversions in Idris β π‘ β² π πβ160Updated 6 years ago
- The Art of the Propagator. See also:β174Updated last year
- A pure Haskell implementation of Datalogβ105Updated 4 years ago
- Distributed programming language that desugars to Morteβ92Updated 2 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermineβ220Updated 6 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idβ¦β179Updated 7 years ago
- A bare-bones calculus-of-constructionsβ380Updated 2 years ago
- Charity language interpreters and literatureβ114Updated 6 years ago
- Networks of composable stream transducersβ338Updated 3 months ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browβ¦β138Updated 4 years ago
- Awelon project is a new UI model with a new language.β103Updated 9 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertibleβ56Updated 6 years ago
- A small strongly typed language that compiles to C++11β152Updated 6 years ago
- Convert lambda expressions to CCC combinatorsβ146Updated 9 years ago
- Collection of Idris tests and demonstration programsβ192Updated 7 years ago
- Language independent type-safe communicationβ133Updated 7 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOASβ109Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.β60Updated 8 years ago
- Typed and composable spreadsheetsβ185Updated 2 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programmingβ107Updated 2 years ago
- Parser combinators for Idrisβ243Updated 6 years ago
- Denotational Design: from programs to meaningsβ98Updated 9 years ago
- Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & autβ¦β181Updated 5 years ago
- The Disco Discus Compilerβ174Updated 6 years ago
- Experimental Malfunction backend for Idrisβ82Updated 6 years ago
- A Idris Mode for Atom.ioβ101Updated 10 months ago
- A wiki and web-services based development environment for Awelon projectβ92Updated 6 years ago
- xmonad with the X11 abstracted and configured with Idrisβ211Updated 6 years ago
- Mindless, verified (erasably) coding using dependent typesβ104Updated 9 years ago
- Java Code Generator for Idrisβ71Updated 9 years ago