Embedded-friendly crypto a la SMACCM
☆13Aug 11, 2017Updated 9 years ago
Alternatives and similar repositories for gec
Users that are interested in gec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Convert regular expressions into efficient matrix branching programs☆11Sep 25, 2017Updated 9 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 7 years ago
- Haskell OpenCV Library☆18Apr 22, 2014Updated 12 years ago
- A fork of the Paparazzi project targeting Linux-based autopilot hardware☆13Apr 17, 2010Updated 16 years ago
- Communicate with USB devices☆28Apr 1, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE☆14Jan 9, 2013Updated 13 years ago
- MAVLink micro air vehicle marshalling / communication library☆12Oct 13, 2026Updated 3 weeks ago
- ☆11Apr 3, 2020Updated 6 years ago
- Implementation of a neural network MLP in C++.☆10Dec 17, 2018Updated 7 years ago
- Command-line Github issues client☆11Dec 22, 2015Updated 10 years ago
- Haskell RSA Library☆21Apr 18, 2021Updated 5 years ago
- ☆14Jul 21, 2024Updated 2 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- ☆12Feb 26, 2025Updated 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.
- Authenticated encryption scheme prover/synthesizer☆16Aug 25, 2022Updated 4 years ago
- Utility for generation of firewall/OpenFlow rules☆17Dec 19, 2023Updated 2 years ago
- Self-modifying Code de-obfuscation☆17May 17, 2017Updated 9 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- A fork of Idiap Research Institute's DiarTk diarization toolkit☆16Feb 20, 2016Updated 10 years ago
- Generate fast Haskell parsers for fixed width packets☆22Sep 24, 2019Updated 7 years ago
- A database migration library for Haskell☆22Jun 13, 2017Updated 9 years ago
- Various scripts that facilitate the preparation of Automatic Speech Recognition related resources☆17Apr 16, 2020Updated 6 years ago
- A solid modeling language in Haskell.☆28Sep 14, 2012Updated 14 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Anonymous extensible records and variant types☆26Sep 1, 2021Updated 5 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- Multitouch monitor/overlay support in your browser! In ClojureScript!☆11Jul 12, 2012Updated 14 years ago
- Pacman wrapper/frontend to emulate Gentoo's "emerge" package management tool on ArchLinux systems☆11Sep 26, 2022Updated 4 years ago
- course material☆14Oct 24, 2018Updated 8 years ago
- Modern C++11/14/17 small code snippets☆14Aug 22, 2024Updated 2 years ago
- Run digestive-functors against a JSON document☆34Sep 30, 2022Updated 4 years ago
- Lens of Aeson☆13Feb 14, 2013Updated 13 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An example of building a shared library (.so) in Haskell and calling it from C and Python.☆10Aug 30, 2012Updated 14 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Haskell implementation of SHA / SHA2 hash functions☆13Mar 15, 2018Updated 8 years ago
- Client side API for communicating with a mattermost server in Haskell☆25Oct 28, 2026Updated last week
- QR Code encoder in pure Haskell☆16May 23, 2023Updated 3 years ago
- ☆60Sep 14, 2026Updated last month
- Easily build and debug a Rust Linux Kernel module using qemu and gdb☆12Nov 7, 2022Updated 3 years ago