A native, user-mode, multi-process, graphical debugger.

PureScript packages for Spago and Psc-Package

Keymapper config to make Linux keyboard shortcuts work like a 'Tosh! And more. (A Kinto alternative.)

NeXTSTEP-like desktop environment for Linux

Declarative, functional and extensible wrapper of JavaFX inspired by better parts of react and re-frame

Objective-C runtime library intended for use with Clang.

Haskell library for the Microsoft Language Server Protocol

A simple and easy-to-use immediate-mode gui library

GWindows: GUI framework for MS Windows

Minimalistic C++/Python GUI library for OpenGL, GLES2/3, Metal, and WebAssembly/WebGL

Ada bindings for the Raylib library

Elements C++ GUI library

Erlang backend for the PureScript compiler

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); …

WebBrowser.app for GNUstep Desktop

Classic MacOS & GS/OS widget library for linux (and other?)

An STL and iostream implementation based on uClibc++ that supports my CS-11M class.

[WIP] Pure-Go implementation of ZeroMQ-4

Chez Scheme

By the Bluebook implementation of Smalltalk-80

An Ada binding for the lvgl embedded GUI library: https://github.com/littlevgl/lvgl

Scripts for Building the AVR-Ada Toolchain

A binary interface let Chez Scheme use Python, Lua, Ruby etc's library

🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

A small strongly typed language that compiles to C++11

San Francisco