tomahawkins / atom
A DSL for embedded hard realtime applications.
β271Updated 7 years ago
Alternatives and similar repositories for atom:
Users that are interested in atom are comparing it to the libraries listed below
- The Ivory EDSLβ397Updated 5 years ago
- Type-safe physical computations and unit conversions in Idris β π‘ β² π πβ160Updated 6 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.β371Updated last year
- β291Updated 4 months ago
- Convert lambda expressions to CCC combinatorsβ146Updated 9 years ago
- A bare-bones calculus-of-constructionsβ377Updated 2 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.β149Updated 6 years ago
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA β¦β429Updated 4 months ago
- Type safe interface for working in subcategories of Haskβ420Updated 5 years ago
- Parser combinators for Idrisβ242Updated 6 years ago
- Haskell JITβ184Updated 5 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programmingβ107Updated 2 years ago
- GHC plugin that improves Haskell code's numerical stabilityβ193Updated 9 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.β253Updated this week
- A simple expressions language with polymorphic extensible row types.β302Updated 2 years ago
- A black hole raytracer written in Haskellβ171Updated 3 years ago
- Cloud Haskell core librariesβ728Updated last month
- Networks of composable stream transducersβ338Updated last month
- Anonymous recordsβ248Updated 6 years ago
- Distributed programming language that desugars to Morteβ92Updated 2 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β¦β178Updated 6 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browβ¦β139Updated 4 years ago
- Collection of Idris tests and demonstration programsβ190Updated 7 years ago
- Example code for how we swap compiled code within a running Haskell process.β172Updated 6 years ago
- Arduino programming without the hassle of C.β249Updated 6 years ago
- Functional workflowsβ365Updated last year
- β88Updated 4 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermineβ220Updated 6 years ago
- Compiling to Categoriesβ448Updated last year
- Learn you an Agda (and achieve enlightenment)β315Updated 7 years ago