Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

GraphQL starter progressive web application (PWA) with Realtime, Offline and AI/ML functionality using AWS AppSync

Gerbil Scheme

A cross-platform, OpenGL terminal emulator.

Rust / Wasm framework for creating reliable and efficient web applications

⚡ Walt is a JavaScript-like syntax for WebAssembly text format ⚡

A terminal IRC client

Types for communicating with a language server

easy setup from ocaml/reason native projects

A Single Page Application written in Elm

High-level DOM-like terminal interface library

A live coding environment for live streaming video

tiny rogue clone

Oni: Modern Modal Editing - powered by Neovim

Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust

Example app on managing shared state in large Elm SPAs. (ex elm-taco)

WIP implementation of a Haskell-like Lisp in Racket

Miscellaneous articles. The readme is the table of contents.

F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

Programming Language Theory λΠ

LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.