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 1 1 Updated Nov 1, 2023

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

TeX 3 Updated Jan 29, 2026

A fast, safe, and intuitive DataFrame library.

Haskell 195 41 Updated Mar 25, 2026

Interactively browse dependency graphs of Nix derivations.

Haskell 989 21 Updated Mar 1, 2026

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

Haskell 32 1 Updated Feb 17, 2026

Yet another test framework for Haskell.

Haskell 73 7 Updated Mar 9, 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,482 27 Updated Mar 17, 2025

TextMate is a graphical text editor for macOS 10.12 or later

Objective-C++ 14,741 1,742 Updated May 18, 2024
Haskell 25 2 Updated Mar 25, 2026
Haskell 59 23 Updated Mar 4, 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 909 70 Updated Mar 14, 2026

lowlevel set of cryptographic primitives for haskell

Haskell 41 29 Updated Mar 18, 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,547 64 Updated Jul 9, 2023

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

Haskell 811 76 Updated Mar 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,270 219 Updated Mar 25, 2026

Fancy reverse and bind shell handler

Python 2,876 290 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 111 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