i-am-tom

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

tauri

Build smaller, faster, and more secure desktop applications with a web frontend.

typst

A new markup-based typesetting system that is powerful and easy to learn.

WaveFunctionCollapse

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

automerge-classic

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

stylegan2

StyleGAN2 - Official TensorFlow Implementation

borgo

Borgo is a statically typed language that compiles to Go.

unit

Next Generation Visual Programming System

remotes

This is a repository listing companies which offer full-time remote jobs with Spanish contracts

polysemy

:gemini: higher-order, no-boilerplate monads

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

haskell-resources

A List of Foundational Haskell Papers

cubicaltt

Experimental implementation of Cubical Type Theory

quickstrom

High-confidence browser testing

quine

haskell, opengl, toy project

HexagridRelaxing

hexagonal grid relaxing

neuralkanren

Neural Guided Constraint Logic Programming for Program Synthesis

codex

UI experiments for coda

kriti-lang

A minimal JSON templating language

tiki-tech

propagators

The propagator system

horses

small programming language. pls be gentle.

tex

Minimalistic file explorer, written in Haskell.

generics-gadt

Experimental GADT/existentials support for GHC.Generics

hott-thesis

Homotopy Type Theory as an Alternative Foundation to Mathematics

category-exercises

Befriending cats and stealing their toys.

heroku-haskell-spa-deployment

a description of how to deploy a haskell web app with an SPA to heroku (mostly so that I do not forget)

purescript-radox-example

Example app for purescript-radox library

scala

Compiler for the Scala programming language. Scala aims to make web development more pleasant. Scala is a type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript.

que-lambda

Experiments with https://okmij.org/ftp/meta-programming/quel.pdf