Dragonfly is a simple messaging system that helps programmers create modular distributed applications rapidly
☆16Feb 13, 2020Updated 6 years ago
Alternatives and similar repositories for dragonfly
Users that are interested in dragonfly are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a tool for building wiki websites for academic labs based on GitHub pages.☆16May 29, 2018Updated 8 years ago
- Open source pulse train generator☆25Updated this week
- Convert Intan (rhd or rhs) files to NWB file format☆10Oct 2, 2023Updated 2 years ago
- Kalman, Particle and SLAM Filters implemented for the 2012/2013 Robotics exam.☆12Mar 25, 2018Updated 8 years ago
- Responsive widget showing your Github repo details that you can embed in any website.☆11Jul 5, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Terraform script to start one or more ec2 monero-mining instances. ⛏️ 🪙 ☁️☆13Nov 11, 2022Updated 3 years ago
- Codepack accompanying "Learning by neural reassociation," Nature Neuroscience, 2018.☆21May 15, 2018Updated 8 years ago
- The QuantLib C++ library☆17Sep 11, 2026Updated 2 weeks ago
- ☆12Oct 3, 2020Updated 5 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆12Updated this week
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Uses Kilosort to sort Plexon (.plx and .pl2) files☆15Apr 13, 2018Updated 8 years ago
- Functional programming utilities implemented in pure Lua.☆15Oct 30, 2024Updated last year
- 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.
- As defined in Lubotzky, Philips and Sarnak☆11Oct 25, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- ☆10Jun 14, 2020Updated 6 years ago
- Deploy verifiable applications in Trusted Execution Environments (TEEs)☆18Feb 19, 2026Updated 7 months ago
- Simulator for Autonomous Underwater Vehicle, developed using Unity3D☆20Jun 16, 2021Updated 5 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated last year
- Core Dev Bootcamp Course Materials☆16Dec 18, 2025Updated 9 months ago
- ☆17Jun 22, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Simplify project navigation within neovim.☆17Dec 16, 2021Updated 4 years ago
- Replacement for MyoConnect on linux without the official Myo dongle.☆19Nov 21, 2020Updated 5 years ago
- ☆12Aug 8, 2016Updated 10 years ago
- Re-implementation of the paper KinectFusion: Real-Time Dense Surface Mapping and Tracking☆11Jan 3, 2021Updated 5 years ago
- ☆13Aug 11, 2021Updated 5 years ago
- FOundation of stXXl and thriLL☆14Jan 24, 2024Updated 2 years ago
- A Simple Sparse Odometry Dense Mapping RGBD-Reconstruction☆13Jun 30, 2020Updated 6 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆13Sep 4, 2024Updated 2 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.
- All contents related to the Mina grant program and projects in scope☆15Mar 27, 2022Updated 4 years ago
- ☆12Mar 7, 2024Updated 2 years ago
- Performance Benchmark Recipes for Power-based systems☆14Apr 12, 2019Updated 7 years ago
- Optimizations for Pairing-Based Cryptography☆17Sep 10, 2021Updated 5 years ago
- the 'invariant' Haskell package for invariant functors☆16Jun 17, 2026Updated 3 months ago
- Connecting Haskell projects, mentors, and learners!☆17Apr 2, 2018Updated 8 years ago
- A simple text editor written in Haskell with Brick☆13Mar 28, 2019Updated 7 years ago