jeroen-z

Idris2

A purely functional programming language with first class types

MPCTT

Modeling and Proving in Computational Type Theory

z3

The Z3 Theorem Prover

spoofax

Spoofax runtime

kolasu

Kotlin Language Support – AST Library

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

cdo

langium

Next-gen language engineering / DSL framework

test.rcp

Eclipse E4 RCP with 3.x views like project explorer, properties, etc

headlessui

Completely unstyled, fully accessible UI components, designed to integrate beautifully with Tailwind CSS.

monaco-react

Monaco Editor for React - use the monaco-editor in any React application without needing to use webpack (or rollup/parcel/etc) configuration files / plugins

plantuml

Generate diagrams from textual description

tufte-latex

Please instead see https://github.com/Tufte-LaTeX/tufte-latex

ACME

A 6502/6510 assembler used for my C64 and other 8 bit projects

vs64

C64 Development Environment for Visual Studio Code

HashDAG

Interactively Modifying Compressed Sparse Voxel Representations

Screencast-Keys

Blender Add-on: Screencast Keys

PixelStreamingInfrastructure

The official Pixel Streaming servers and frontend.

discoverthreejs-site

Repo for the book Discover three.js!

NodeGosperSFC

Implementation of the Node-Gosper SFC from the paper Hierarchical Hexagonal Clustering and Indexing

vite-plugin-glsl

:spider_web: Import, inline (and compress) GLSL shader files :electric_plug:

vscode-live-server

Launch a development local Server with live reload feature for static & dynamic pages.

Javascript-Voronoi

A Javascript implementation of Fortune's algorithm to compute Voronoi cells

react-three-next

React Three Fiber, Threejs, Nextjs starter

ts-node

TypeScript execution and REPL for node.js

DefinitelyTyped-tools

Infrastructure for DefinitelyTyped

theatre

Motion design editor for the web

three-mesh-bvh

A BVH implementation to speed up raycasting and enable spatial queries against three.js meshes.

chuz

This repo is exploring what a Remix and Effect combo with a flavour of Domain Driven Design could look like. I plan to evolve this into a real production ready starter kit for my side projects.

tla-web

Interactive, web-based environment for exploring TLA+ specifications.