Draw and update graphs in real time with OpenGL
☆17Jul 21, 2019Updated 6 years ago
Alternatives and similar repositories for dynamic-graph
Users that are interested in dynamic-graph are comparing it to the libraries listed below
Sorting:
- Framework for rapid development of Ansible modules in Haskell programming language.☆14Aug 20, 2022Updated 3 years ago
- Linux daemon implementing the microHam keyer protocol.☆17Updated this week
- N6TR's TR log☆17Feb 10, 2026Updated 2 weeks ago
- An API for the Interactive Brokers Trader Workstation written in pure Haskell☆18Dec 30, 2017Updated 8 years ago
- QuickFIX bindings for Haskell☆26Oct 2, 2025Updated 5 months ago
- Python Maidenhead <--> WGS84 coordinate conversions☆26May 25, 2025Updated 9 months ago
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆31Oct 28, 2025Updated 4 months ago
- ☆25Aug 10, 2016Updated 9 years ago
- Simple Bindings to Websocket API for Purescript☆34Feb 9, 2021Updated 5 years ago
- OpenGL Tutorial in C++☆10Jul 16, 2022Updated 3 years ago
- Web Development without programming☆45Mar 1, 2023Updated 3 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 9 years ago
- Small tagger app for Fedora Community☆15Oct 29, 2018Updated 7 years ago
- ARCHIVED: Adds table editing controls to the visual content editor (TinyMCE).☆13Mar 11, 2022Updated 3 years ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆42Sep 3, 2015Updated 10 years ago
- SDR GUI supporting various input hardware; mirror of https://gitea.osmocom.org/sdr/sdrangelove☆12Mar 13, 2018Updated 7 years ago
- Home made remote rig setup for the IC-706☆12Oct 23, 2016Updated 9 years ago
- External Radar Cheat for Counter-Strike: Source on Linux☆10Jun 13, 2013Updated 12 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- ☆10Mar 13, 2023Updated 2 years ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- Low-level typesafe HDF5 bindings☆28Feb 22, 2013Updated 13 years ago
- You can team up with friends and meet them in the server because you can easily see them on the map.☆17Oct 25, 2017Updated 8 years ago
- Sample code for a simple blink loop, targeting the STM32F070☆11Sep 12, 2018Updated 7 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- A thin abstraction layer to integrate Bullet and OpenSceneGraph☆14Feb 20, 2025Updated last year
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Kubernetes, Emacs, done!☆10Feb 13, 2026Updated 2 weeks ago
- An extensible dead-man's switch system☆25Jul 31, 2016Updated 9 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Antenna analyzer based on RigExpert Zero II and Arduino☆13Jan 25, 2024Updated 2 years ago
- Breakdown of my aurora borealis effect as inspired by Miskatonic Studios' approach☆14Nov 18, 2024Updated last year