Cloudef / mach-flake
Flake that allows you to get started with Mach engine quickly.
☆12Updated 2 months ago
Related projects: ⓘ
- A functional scripting language.☆16Updated 8 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆18Updated 8 months ago
- Purescript compiler back-end for Lua☆51Updated last week
- A friendly Nix profile manager☆21Updated last week
- Nix' call-flake. Extracted.☆20Updated this week
- A Nix DSL that compiles to Lua☆22Updated 3 months ago
- ☆13Updated last month
- ☆17Updated last week
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- [WIP] A wayland compositor configured with scheme☆14Updated 2 years ago
- ☆50Updated last year
- Search Hoogle from Rofi☆29Updated 5 months ago
- Simple rogue-like game in Haskell☆17Updated 3 years ago
- NixOS configuration for shared remote development via SSH☆15Updated 4 months ago
- IDE support for the functional logic language Curry☆26Updated last month
- Lua backend for Idris 2☆27Updated 2 years ago
- seamless management of source dependencies with nix☆37Updated 3 months ago
- Clipboard synchronization tool☆12Updated 9 months ago
- Explore the nixpkgs dependency graph☆15Updated 11 months ago
- Experiment in Nix formatting☆21Updated 4 years ago
- A collection of software packages managed with dream2nix [maintainer=@DavHau]☆28Updated 2 months ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆14Updated 2 months ago
- Nix UX improvements☆36Updated 3 years ago
- Like APL, but with emojis☆16Updated 2 years ago
- Linux From Scratch, but it's Nix☆36Updated 3 years ago
- Malfunction backend for Idris 2☆12Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- ☆25Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆14Updated last month
- Expressions to change the world (just a tiny bit)☆16Updated this week