-
Tweag.io
- Canberra, Australia
- https://axman6.com
- @Axman6
Starred repositories
gotchamana / wiwinwlh
Forked from sdiehl/wiwinwlhWhat I Wish I Knew When Learning Haskell
Thomas BAGREL PhD manuscript on _Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings_
A fast, safe, and intuitive DataFrame library.
Interactively browse dependency graphs of Nix derivations.
A special-purpose processor for pure, non-strict functional languages
Generating type families for field selectors via TemplateHaskell
Where Lions Roam: RISC-V on the VELDT
TextMate is a graphical text editor for macOS 10.12 or later
Course for learning how to apply property-based state-machine testing
High performance, concurrent functional programming abstractions
kazu-yamamoto / crypton
Forked from haskell-crypto/cryptonitelowlevel set of cryptographic primitives for haskell
A simple library for reporting compiler/interpreter errors
📜 Haskell course info, plan, video lectures, slides
A stream-based runtime-verification framework for generating hard real-time C code.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Haskell library for space- and time-efficient operations over Unicode text.
😺 Running Hashcat on Google Colab with session backup and restore.
Demos from my old blog, collected, changed and moved to the new one when active.
tmortiboy / amazonka-extras
Forked from seek-oss/amazonka-extrasExtras for AWS based off of amazonka