Hardware-accelerated .obj renderer in your browser.

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic

A library to generate LaTeX expression from Python code.

✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML and CSV into interactive graphs.

Generate all the things (focusing on research software)

Simple app for pushing data from one device to another

There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

An Emacs framework for the stubborn martian hacker

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Staged push/pull fusion with typed Template Haskell

Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Library for binding to C libraries using pure OCaml

Hardcaml is an OCaml library for designing hardware.

A fast functional language based on two level type theory

📁 Universal File Storage Client

Multi-backend renderer with asset pipeline. The objective of this repo is to build a scalable, flexible, data driven renderer.

Differentiable architecture search for convolutional and recurrent networks

Elsa is a lambda calculus evaluator

A tiny language for teaching and experimenting with Refinement Types

Github actions for Haskell CI

A toolkit for enforcing logical specifications on neural networks

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Staged regular expression library for MetaOCaml

Online track editor for outdoor activities

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.