Brian McKenna

Small functional language that compiles to JavaScript.

Serious functional programming library for JavaScript.

Tiny tool to toggle window shadows on OS X

OS X application to draw a border around the focused window

xmonad with the X11 abstracted and configured with Idris

My NixOS configuration and custom Nix derivations.

JS AST rewriter for tail call elimination

WebGL addon for node.js

Heroku buildpack for Haskell

Collection of "wat" moments in various languages

Sonic the Hedgehog 2 in Haskell

Tiling window manager for Mac OS X.

A CGI adaptor for node.js

Generate GraphViz graphs by interpretting free monads.

Pure and comonadic Game of Life in Fantasy Land compatible JavaScript

Static blog generator in Idris.

Rewrite rules for JavaScript.

Demo of the Heroku Haskell Buildpack

Try Idris

Using QuickCheck to test functions in other languages/environments.

License your GitHub repository in seconds

A tiny 32 bit kernel written in ATS

Quick example of Eta on Android

JSON Web Token (JWT) decoding and encoding

Pretty printer of Scala

Verified left pad

Haskell implementation of C4 model, for specifying software architecture

Simplify and render Template Haskell

Overloaded operators for Fantasy Land compatible JavaScript.

Compositional, streaming I/O library (unfinished)

Game of Life written using a Comonadic grid/board and Ncurses.

Hoogle's core type search algorithm, as a library

Arbitrary commands as remote Nix stores

Better Scala for-comprehensions using paradise's annotation macros

Compression used in Sonic the Hedgehog

PureScript WebRTC bindings

Edit stdin using an editor before sending to stdout.

Sets an engine independent toString on Functions

Functional Programming Course

Small Haskell to JVM compiler

Driver and tools for the Tobii Eye Tracker 5

Haskell library for operations on type algebra, e.g. inhabitant counting

The partiality monad in Idris.

Chrome Extension to allow Chrome as a Crab remote browsing client.

Experiment in generating a functional Java library from Haskell

Dump close_write inotify events onto an AMQP queue.

Palettes for Sega Mega Drive (and Genesis)

Simple JavaScript documentation generator.

Small collection of Idris exercises

Haskell low-level WebAssembly encoder

Communicating to a Epever/Epsolar Tracer A series charge controller via Modbus

OS X screencast as a GIF, using just a paperclip and a sock.

Arrays with a value for every index

Reaktor Hands On: Pure Functional Programming in Plain JavaScript

Splitting/combining data structures to/from halves, quarters, eighths

Haskell for the Novation Launchpad

GTK-based terminal emulator configured using Haskell

Implemenation of a Self-Organising Map using Python

Code developed during the PureScript Tutorial at CUFP 2015

Semigroups for instances of the functor hierarchy.

Turing Tarpit based on pattern matching. Entry into PLT Games #1 ("Into the Turing Tarpit").

Projects from the Haskell Hangouts

No description.

Bindings to Roku's External Control API

Continuous profiling for GHC programs

Parse SSH keys

A Hacker News client for Chumby.

A book about functional programming in JavaScript.

No description.

LambdaBot on Twitch

Optics library for Scala

Demo of a Yesod application deployed to Heroku using the Haskell Buildpack

Single file PHP remote administration

Nix, the purely functional package manager

No description.

Document reader

Nix Packages collection

Publishes curated news about the Haskell programming language.

evented I/O for v8 javascript

An introductory tutorial for the Coq proof assistant.

Monoid

A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks

:ramen: A tasty Haskell front-end framework

Android terminal emulator and Linux environment - packages repository.

Easily send encrypted messages to GitHub users.

Useful functions from Prelude, or reimplemented from base

Provides Word4, half a Word8

No description.

Shows a chart of lines added to a repository (as recorded by git log)

A python-ish pure and total functional programming language

Port of KiKS to SciLab

Structure and Interpretation of Computer Programs Exercises (in Scheme)

An entry for PyWeek

Powerful new number types and numeric abstractions for Scala.

Splice repository

Lightweight and declarative sandboxing for AI agents on Linux and macOS using Nix.

A merge queue for Gitea. Serializes PR merges so your main branch stays green.

Bazel rules for Kotlin

PCRE2 development is based here.

🐚bash/POSIX-compatible shell implemented in Rust 🦀

Nix binary cache protocol library for Haskell

This software enables EV battery packs to be used for stationary storage in combination with solar inverters.

No description.

A gitea version of the claude-code-action

Programmatic configuration for Spring Boot using Java & Kotlin DSLs

A set of functions helping to generate k8s yamls.

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]

A tiny application that disables the Windows keys of your keyboard. Very useful in games!

Simulation of Launceston & North East Railway's electric assist vehicle

The KittyCAD modeling app.

Efficient, pure binary serialisation using ByteStrings in Haskell.

Rules to resolve and fetch artifacts transitively from Maven repositories

principled database access for scala

The UI for Unison Share

Unison Share's backend server

A friendly programming language from the future

A complete decompilation of Retro Engine (v5)

No description.

Battery design and code for Seafield

Dynamic typing in Haskell

F# language binding for MonoDevelop

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

No description.

Open-source keyboard firmware for Atmel AVR and Arm USB families

Dump unix domain socket traffic with bpf

A Nix flake for many AI projects

batocera.linux

A static website compiler library in Haskell

JSON-LD implementation

Extensions for the OpenFX Support library

A utility for mapping events from Linux event devices.

Reasonable Haskell default import

Alternative Haskell Infrastructure for Nixpkgs

Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.

Linux kernel source tree

No description.

A Gateway built on Spring Framework and Spring Boot providing routing and more.

Select a region in a Wayland compositor

A bridge between Matrix and multiple project management services, such as GitHub, GitLab and JIRA.

Manage a user environment using Nix [maintainer=@rycee]

Haskell bindings for tree-sitter

Unofficial Australian GP AstraZeneca Search. Searches HotDoc for nearby GPs, and ranks them by their next available appointment for first AstraZeneca dose.

A simple CRUD terraform provider with Anaml type definitions

Translate Cabals Generic Package Description to a Nix expression

A modular Wayland compositor library

Java parser and printer for haskell

the 'invariant' Haskell package for invariant functors

Cryptographic currency implementing Ouroboros PoS protocol

No description.

No description.

Monad transformers presentation for ScalaSyd

A strict subset of Haskell that compiles to JavaScript

Applied operating system - an operating system kernel written in the ATS programming language.

Unofficial Haskell starter package for the Planet Wars AI contest

reverse-engineered client for the LG SmartThinQ API

A :baby: buddy to help caregivers track sleep, feedings, diaper changes, and tummy time to learn about and predict baby's needs without (as much) guess work.

No description.

A fast Haskell JSON library

The engine for SlamData

A softer introduction to fp in scala course, based on patterns-in-types and the nicta course.

The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"

Tutorial exercises for Cubix framework

Share private key between OpenGPG and OpenKeychain

Compositional, streaming I/O library for Scala

Port of Data.Binary with tighter data types and parameterised error messages

VsCode extension for Haskell, as a front end for haskell-ide-engine

The Java driver for MongoDB

An opinionated guide for developers wanting to get things done with Nix

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

An extensible effect system built out of comonads and Day convolution.

Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work

Pure profunctor lenses

Some useful control operators for looping

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Data type ismorphic to α ∨ β ∨ (α ∧ β)

Canvas bindings for PureScript

A Dependently Typed Functional Programming Language

The Scala programming language

No description.

Haskell Web Application Interface

Easy instructions for setting up Haskell editors / IDEs on any major operating system.

Cached Haskell IDE Engine Nix builds for all GHC versions

A declarative, type-safe UI library for PureScript.

Haskell/Java interop via inline Java code in Haskell modules.

A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

No description.

Unison base libraries

A highly typed language we can prove things in

The Science of Functional Programming book

Collection of sample applications using JUnit 5.

Research wiki

No description.

Render graphs using a declarative markup.

Structurizr for Java

The repository for high quality TypeScript type definitions.

Haskell API search engine

Packages CodeScene in one container, Nginx proxy with self-signed cert in another, and composes them to one service. Ideas from codeclou/docker-nginx-self-signed-ssl.

A structured logging framework for Haskell

Haskell implementation of the nix store API