A computationally transparent language based on higher-dimensional rewriting.

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

[DISCONTINUED] An ergonomic physics API for bevy games

Resources related to causality

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…

Emacs package to enable transclusion with Org Mode

Single-tweet, standards-compliant, high-performance JSON stack

A framework for applied category theory in the Julia language

A modern commutative diagram editor for the web.

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

A refreshingly simple data-driven game engine built in Rust

Application of formal systems to model biological systems

3DreamEngine is an *awesome* 3d engine for LÖVE.

Immediate Mode GUI library for LÖVE

Tensors and neural networks in Haskell

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Deep learning via category theory and functional programming

Lua Lisp Language

Haskell implementation of open games

Experiments with different neural network based time series forecasting methods

Generic package manager for Standard ML libraries and programs

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

An Emacs framework for the stubborn martian hacker

Rudimentary Roam replica with Org-mode

Some Clojure functions for creating static websites.

LaTTe : a Laboratory for Type Theory experiments (in clojure)

A ClojureScript framework for building user interfaces, leveraging React

A julia package for representing and manipulating model semantics