Skip to content
View axman6's full-sized avatar

Organizations

@text-utf8

Block or report axman6

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

What I Wish I Knew When Learning Haskell

Haskell 2 1 Updated Nov 1, 2023

Thomas BAGREL PhD manuscript on _Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings_

TeX 2 Updated Jan 29, 2026

A fast, safe, and intuitive DataFrame library.

Haskell 176 34 Updated Feb 18, 2026

Interactively browse dependency graphs of Nix derivations.

Haskell 976 19 Updated Feb 1, 2026

A special-purpose processor for pure, non-strict functional languages

Haskell 31 1 Updated Feb 17, 2026

Yet another test framework for Haskell.

Haskell 73 7 Updated Feb 19, 2026

Terminal logs observer

Haskell 25 4 Updated Sep 6, 2025

Generating type families for field selectors via TemplateHaskell

Haskell 3 Updated Aug 5, 2024

Where Lions Roam: RISC-V on the VELDT

Haskell 265 18 Updated Dec 15, 2025

Algebraic data types for C99

C 1,475 27 Updated Mar 17, 2025

TextMate is a graphical text editor for macOS 10.12 or later

Objective-C++ 14,780 1,734 Updated May 18, 2024
Haskell 24 2 Updated Feb 18, 2026
Haskell 58 23 Updated Feb 8, 2026

Course for learning how to apply property-based state-machine testing

Haskell 62 14 Updated Sep 13, 2019

High performance, concurrent functional programming abstractions

Haskell 908 70 Updated Dec 6, 2025

lowlevel set of cryptographic primitives for haskell

Haskell 38 29 Updated Jan 24, 2026

A terminal client for Up Bank written in Haskell ⚡.

Haskell 50 2 Updated Apr 21, 2025

More scroll, less hassle

Shell 106 3 Updated Dec 10, 2025

A simple library for reporting compiler/interpreter errors

Haskell 269 23 Updated Aug 11, 2024

📜 Haskell course info, plan, video lectures, slides

Haskell 1,536 64 Updated Jul 9, 2023

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 809 74 Updated Jan 8, 2026

Binding to HDF5 library

Haskell 5 Updated Jan 29, 2026

🔥 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 5,221 218 Updated Feb 18, 2026

Fancy reverse and bind shell handler

Python 2,867 288 Updated Aug 9, 2024

Haskell library for space- and time-efficient operations over Unicode text.

Haskell 421 162 Updated Jan 27, 2026
Python 8 1 Updated Apr 2, 2021

😺 Running Hashcat on Google Colab with session backup and restore.

Jupyter Notebook 743 112 Updated Jan 14, 2022

Demos from my old blog, collected, changed and moved to the new one when active.

Haskell 3 Updated Jun 22, 2024

Extras for AWS based off of amazonka

Haskell 2 2 Updated Mar 30, 2020
Next