i-am-tom's Stars
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
mxgmn/WaveFunctionCollapse
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
automerge/automerge-classic
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
NVlabs/stylegan2
StyleGAN2 - Official TensorFlow Implementation
borgo-lang/borgo
Borgo is a statically typed language that compiles to Go.
samuelmtimbo/unit
Next Generation Visual Programming System
remote-es/remotes
This is a repository listing companies which offer full-time remote jobs with Spanish contracts
polysemy-research/polysemy
:gemini: higher-order, no-boilerplate monads
typelevel/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
cohomolo-gy/haskell-resources
A List of Foundational Haskell Papers
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
quickstrom/quickstrom
High-confidence browser testing
ekmett/quine
haskell, opengl, toy project
CedricGuillemet/HexagridRelaxing
hexagonal grid relaxing
xuexue/neuralkanren
Neural Guided Constraint Logic Programming for Program Synthesis
ekmett/codex
UI experiments for coda
hasura/kriti-lang
A minimal JSON templating language
TheInnerLight/tiki-tech
ProjectMAC/propagators
The propagator system
danieljharvey/horses
small programming language. pls be gentle.
alpacaaa/tex
Minimalistic file explorer, written in Haskell.
jcpetruzza/generics-gadt
Experimental GADT/existentials support for GHC.Generics
mixphix/hott-thesis
Homotopy Type Theory as an Alternative Foundation to Mathematics
LiamGoodacre/category-exercises
Befriending cats and stealing their toys.
ZooeyMiller/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)
danieljharvey/purescript-radox-example
Example app for purescript-radox library
kcsongor/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.
plcplc/que-lambda
Experiments with https://okmij.org/ftp/meta-programming/quel.pdf