A Haskell arrowized FRP library for GUIs
☆20Apr 16, 2020Updated 5 years ago
Alternatives and similar repositories for UISF
Users that are interested in UISF are comparing it to the libraries listed below
Sorting:
- ☆21Oct 2, 2022Updated 3 years ago
- Mescaline is a data-driven audio sequencer and synthesizer☆14Oct 1, 2017Updated 8 years ago
- GHCJS example code☆18Aug 15, 2016Updated 9 years ago
- Low level virtual-dom bindings for PureScript☆30Aug 12, 2015Updated 10 years ago
- ☆44Jun 30, 2016Updated 9 years ago
- Cochlear sound spectrum☆37Feb 29, 2020Updated 6 years ago
- Topological Data Analysis for Power System Contingencies☆10Sep 17, 2020Updated 5 years ago
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- A ruby ffi interface to SWI-Prolog that goes both ways.☆10Jul 21, 2023Updated 2 years ago
- ☆12Dec 9, 2022Updated 3 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 11 years ago
- Lightweight Maven repository software☆10Nov 18, 2020Updated 5 years ago
- The smart contracts powering jpg.store☆15Jul 2, 2024Updated last year
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- GraphQL nested mutations☆12Dec 30, 2017Updated 8 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Bindings for OpenVR and the Valve/HTC Vive☆10Mar 28, 2017Updated 8 years ago
- Testable back-end programming pattern☆13Aug 3, 2023Updated 2 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- List of interactive prompt helpers to pimp the UIs of your haskell programs☆13Aug 26, 2023Updated 2 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Sample projects for Quantomatic☆12Apr 25, 2020Updated 5 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆47Dec 18, 2019Updated 6 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆61May 9, 2016Updated 9 years ago
- Port of the 'host' example in try-reflex to FLTKHS.☆12Aug 26, 2017Updated 8 years ago
- update of Ledger Nano Cardano app code from Byron to Shelley☆12Jan 9, 2026Updated last month
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 11 years ago
- Statistics package for Haskell based on hmatrix☆13Aug 6, 2020Updated 5 years ago
- Android protobuf rpc implementation over BLE☆11Apr 21, 2016Updated 9 years ago
- Simple modal text editor in Elm☆11May 21, 2015Updated 10 years ago
- Simple terminal string styling in Haskell.☆12Sep 14, 2016Updated 9 years ago
- Firmware, schematic and board drawings for the CANine USBC↔︎CAN adapter☆13May 3, 2024Updated last year
- cmake-ide as a spacemacs layer☆10Feb 3, 2016Updated 10 years ago
- Peer DID method implementation in Python☆12Sep 27, 2023Updated 2 years ago
- Python Multi-Objective Simulation Optimization: a package for using, implementing, and testing simulation optimization algorithms.☆12Sep 11, 2021Updated 4 years ago
- ☆11Jul 1, 2020Updated 5 years ago