Boring avatars is an open source React library that generates custom, SVG-based avatars from any username and color palette.

BullshitBench measures whether AI models challenge nonsensical prompts instead of confidently answering them, created by Peter Gostev.

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

Next Generation Visual Programming System

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

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

Borgo is a statically typed language that compiles to Go.

haskell, opengl, toy project

A minimal JSON templating language

small programming language. pls be gentle.

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

Homotopy Type Theory as an Alternative Foundation to Mathematics

A List of Foundational Haskell Papers

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.

High-confidence browser testing

hexagonal grid relaxing

UI experiments for coda

StyleGAN2 - Official TensorFlow Implementation

The propagator system

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

Neural Guided Constraint Logic Programming for Program Synthesis

Master programming by recreating your favorite technologies from scratch.

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

Experimental GADT/existentials support for GHC.Generics

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

Example app for purescript-radox library

Experimental implementation of Cubical Type Theory

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

Befriending cats and stealing their toys.