An Ivory library inspired by Atom
☆15Oct 17, 2016Updated 10 years ago
Alternatives and similar repositories for ion
Users that are interested in ion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- ☆10Sep 7, 2016Updated 10 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Tower backend and Ivory board support package for the STM32 line of microcontrollers☆12Feb 20, 2024Updated 2 years ago
- ☆17Jul 23, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- A DSL for embedded hard realtime applications.☆277May 15, 2017Updated 9 years ago
- A Haskell client library for Cayley database graph☆14Aug 28, 2026Updated 2 months ago
- An OS written in Idris (eventually...)☆19Mar 4, 2015Updated 11 years ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated last year
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 3 years ago
- ☆13Jan 21, 2022Updated 4 years ago
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Servant authentication with javascript web tokens☆16Jun 15, 2018Updated 8 years ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 3 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Sep 14, 2011Updated 15 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Instances for QuickCheck classes☆13Sep 1, 2017Updated 9 years ago
- Demo Ajhc application on Cortex-M3 arch.☆38Dec 17, 2013Updated 12 years ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆20Apr 28, 2023Updated 3 years ago
- a fully-differentiable graphical raytracer☆15Jul 29, 2015Updated 11 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Gidl: an Interface Description Language☆11Aug 11, 2017Updated 9 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- Haskell: Overengineered GHCJS + react-flux playground☆14Jan 24, 2017Updated 9 years ago
- ☆18Jul 1, 2026Updated 3 months ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- haskell wrapper for git☆18Mar 7, 2020Updated 6 years ago
- ☆32Nov 11, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- HTTP downloader tailored for web-crawler needs☆17Feb 14, 2024Updated 2 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- Function generation for Hedgehog☆20Jul 21, 2026Updated 3 months ago
- A generic 2D cellular automaton simulator☆25Mar 15, 2021Updated 5 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- Yer another array library☆41Sep 16, 2018Updated 8 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆153Mar 30, 2019Updated 7 years ago