modotte

cddaim

Command-line based launcher for Catacylsm: Dark Days Ahead game on Linux for myself. Don't bother using it if you are not me! (wip)

rs2hsquestion-test

Super simple Rust to Haskell function call test (using question crate as an example) via hs-bindgen and cargo-cabal.

thol_scripts

My personal collection of 2HOL related scripts.

modotte/rs2hsquestion-test

Super simple Rust to Haskell function call test (using question crate as an example) via hs-bindgen and cargo-cabal.

modotte/cddaim

Command-line based launcher for Catacylsm: Dark Days Ahead game on Linux for myself. Don't bother using it if you are not me! (wip)

modotte/dotfiles

My dotfiles (mostly Emacs).

modotte/scripts

Collections of (ad-hoc) automation scripts that I made to solve oddly specific problems on my own Linux and OpenBSD systems.

modotte/thol_scripts

My personal collection of 2HOL related scripts.

modotte/cargo-cabal

A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!

modotte/carp-ncurses

modotte/ghc-javascript-ci

modotte/gi-gtk-declarative

Declarative GTK+ programming in Haskell

modotte/haskell-guides

Freckle guides and best practices

modotte/haskell-libfuse3

A Haskell binding for libfuse-3.x

modotte/llvm-hs

Haskell bindings for LLVM

modotte/monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

modotte/OneLife

Two Hours One Life, building upon One Hour One Life. Join us on Discord to play.

modotte/optparse-applicative

Applicative option parser

modotte/perfect-vector-shuffle

Library for performing shuffles on vectors

modotte/play-haskell

Haskell Playground

modotte/real-world-advanced-testing-using-effectful

real-world-advanced-testing-using-effectful

modotte/saturn

Lock-free data structures for multicore OCaml

modotte/wasp

A programming language that understands what a web app is.

modotte/yew-octicons

Easy support for Octicons in yew