rybla

Henry Blanchette's repositories

Textual

A simple text editor for iOS that integrates directly with iOS Files.

Language:Swift100

polylogue

Language:PureScript000

riib11.github.io

Language:SCSS010

ai-webapplets

Language:TypeScript001

chatre

Language:PureScript000

chatscript

This project provides a simple python interface to writing chatscripts for generating sequences of calls to OpenAI's GPT chat API.

Language:PythonMPL-2.0000

Coda

Language:CoqMIT000

dcg-hardhat

Language:JavaScript000

DeeperShallowSyntax

000

essentia

Language:TypeScript010

fixlat-lang

Language:PureScript000

foliage

A code generator framework for fixed-point oriented programming.

MIT000

foliage-arsenic

Language:PureScript000

foliage-boron

Language:PureScript000

fop

Language:HTML000

glish

map all words to single-syllable version

Language:TypeScript000

haskell-rec-def

APIs for more recursive definitions

Language:HaskellBSD-2-Clause000

leptos-experiment-1

Language:RustMIT000

liquid-flex-hs

Language:HaskellNOASSERTION010

melange-example

Language:ReasonMIT000

modut

A statically typed functional programming language with structural refinement types and modular data types.

MIT000

monoliths

Language:Agda010

ollama-ui

Simple HTML UI for Ollama

Language:JavaScriptMIT000

pantograph-backend

Language:PureScript000

pantograph-user-study

Language:JavaScript000

plc-type-inference

Language:PureScript000

treediffui-example

Language:PureScript000

typechange-rewrites-smallstep

Language:JavaScript000

ulc_in_rust

Language:Rust000

zypr-generic

Language:TypeScript000