GCode parser, pretty-printer and processing utils
☆15Nov 13, 2023Updated 2 years ago
Alternatives and similar repositories for gcodehs
Users that are interested in gcodehs are comparing it to the libraries listed below
Sorting:
- OpenGL 3D viewer for ImplicitCAD☆22Nov 12, 2023Updated 2 years ago
- ☆13Feb 12, 2025Updated last year
- HSlice - A Haskell based slicer for 3D printing.☆82Jan 31, 2024Updated 2 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 6 months ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- Well-typed paths☆20Dec 17, 2018Updated 7 years ago
- Stratified synthesis for learning machine code instruction semantics☆41Sep 24, 2025Updated 5 months ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- An interpreter for Janus, the reversible programming language.☆14Jun 7, 2020Updated 5 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- https://github.com/aligungr/UERANSIM☆10Apr 23, 2021Updated 4 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 5 years ago
- Byte-level byte pair encoding (BPE) in Haskell☆17May 27, 2024Updated last year
- A collection of scripts I use for hacking on container stuff like the linux kernel.☆12Mar 9, 2026Updated last week
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 11 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- DARPA CASE program☆16Jun 10, 2025Updated 9 months ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 6 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Sep 26, 2018Updated 7 years ago
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- A graphical user interface for implicitcad☆25Dec 15, 2020Updated 5 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- Summer school on programming in Agda☆68Aug 1, 2023Updated 2 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function☆17Jun 24, 2024Updated last year
- ☆12May 7, 2025Updated 10 months ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 6 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 7 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago