Beast code in Giters

Võ Minh Thu's repositories

nix-notes

A collection of short notes about Nix, each contributing to the same virtual machine image

Language:Nix59 40

language-glsl

Haskell package for representation, parsing, and pretty-printing of GLSL

Language:HaskellNOASSERTION31 3 11

python-pickle

Serialization/deserialization using Python Pickle format

Language:HaskellNOASSERTION17 3 3

syntactical

Haskell library for distfix expression parsing

Language:HaskellNOASSERTION7 2 1

not-os

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

Language:Nix6 20

humming

queue_classic in Haskell

Language:HaskellNOASSERTION5 20

reduced

Playing with lambda calculus and combinators

Language:Haskell300

hblend

Haskell library and command-line tool to parse Blender's .blend file format

Language:HaskellNOASSERTION2 10

gitcraft

Generates SVG files representing Git repositories as graphs

Language:HaskellBSD-2-Clause1 20

hadley

Hadley renders static pages for Haskell projects.

Language:HaskellNOASSERTION1 10

nix-pandoc-latex

A Nix expression to build a PDF file from Mardown, using Pandoc and LaTeX

Language:Nix1 10

tmp-postgres

Create temporary postgres instances

Language:HaskellBSD-3-Clause1 10

adventofcode-2023

Learning Rust I guess

Language:Rust010

blending

Notes about scripting Blender from the command-line

Language:Python020

blog

Blog posts published on noteed.com

Language:Nix020

firefox-vm

A NixOS VM containing Firefox

Language:Nix010

loading

A silly experiment with low-res graphics in Haskell

Language:Haskell010

minicron

Simple cron-like tool

Language:NixNOASSERTION030

multiple-ghc-versions

Learning to use multiple GHC versions with a Nix-based Haskell project.

Language:Nix020

nixos-anywhere

Install NixOS everywhere via ssh

Language:ShellMIT000

nixpkgs

Nix Packages collection

Language:NixMIT010

noteed.com

This is a Nix expression to build most of noteed.com content.

Language:Nix030

odoo

Odoo. Open Source Apps To Grow Your Business.

Language:JavaScriptNOASSERTION010

pg-transact

Another postgresql-simple transaction monad

Language:HaskellNOASSERTION010

start-servant

An example application to demonstrate how Servant and STM can be used to prototype a classical three-tier web application

Language:Haskell02 9

thyme

A faster date and time library based on time

Language:HaskellBSD-3-Clause010

toplevels

NixOS toplevels

Language:Nix020

typograffiti

Just let me draw nice text already!

Language:HaskellNOASSERTION000

videos

How I record videos, in particular The Nix recordings

Language:Shell030

xmonad

My XMonad configuration

Language:Haskell010