Pinned Repositories
elm-ast
A parser for Elm in Elm.
fuc
Functional Utilities for Coffeescript and Javascript
furp
FRP with LiveScript
glossary
Glossary of Programming Language Concepts
idris-libuv-example
code example for using Idris with a libuv-based async C runtime
legato
OSC, MIDI, and more
lifty
elevator scheduling simulator
nixform
define terraform infrastructure in nix
nixos-tutorial
one hour, hands-on
responsible
Idris 2 HTTP Api Server
brainrake's Repositories
brainrake/responsible
Idris 2 HTTP Api Server
brainrake/nixsh
Nix as shell
brainrake/repair
(Re-)Connect multiple bluetooth devices
brainrake/arounder
ld29 entry
brainrake/CurveLife
local multiplayer curve game
brainrake/elan
Lambda Calculus in Elm
brainrake/brainrake.github.io
brainrake/cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
brainrake/challenge-users-management-elm
brainrake/dream2nix
Nixify software with less effort [maintainer=@DavHau]
brainrake/elm-arc-diagram
An arc diagram for visualizing acyclic digraphs
brainrake/elm-codegen-internals
elm-codegen but with internals exposed and generating types
brainrake/elm-ganja
Geometric Algebra and Clifford Algebra for Elm
brainrake/elm-mathml
brainrake/elm-module-graph
Visually explore package and module dependencies for an Elm project
brainrake/extra-sources-test
brainrake/ganja.js
:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
brainrake/hci-test
brainrake/hercules-ci-agent
https://hercules-ci.com build and deployment agent
brainrake/Idris2
A purely functional programming language with first class types
brainrake/kuty
Kutyaszorító game
brainrake/nix.dev
An opinionated guide for developers wanting to get things done with the Nix ecosystem.
brainrake/nixos-hardware
A collection of NixOS modules covering hardware quirks.
brainrake/NixOS-Users-Against-MIC-Sponsorship.github.io
brainrake/nixpkgs
Nix Packages collection
brainrake/NixThePlanet
Run macOS, Windows and more via a single Nix command, or simple nixosModules
brainrake/tes
Typeful structural editor
brainrake/tonic
A native gRPC client & server implementation with async/await support.
brainrake/tonic-mock
Test utilities for easy mocking tonic streaming interface
brainrake/zerostash
Zero-metadata file storage