An open and affordable mini quadruped robot based on ESP32.

Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)

XLS: Accelerated HW Synthesis

OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

Web-app for E5.

A basic mathematics library containing fundamental functions and utilities.

Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Monads and other dark magic for Elixir

Experiments on automation for Lean

SampCert : Verified Differential Privacy

Lean 4 programming language and theorem prover

Lean documentation authoring tool

This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

A collection of example projects using Embedded Swift

Robotic actuator test stand utilizing a Capstan Drive reducer

Kolmogorov Arnold Networks

⭐️ A friendly language for building type-safe, scalable systems!

Cloud Haskell core libraries

The agda-unimath library

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Lecture notes on univalent foundations of mathematics with Agda

An intuitive modeling interface for infinite-dimensional optimization problems.

A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.

Standard library for linear types in Haskell.

Rust implementation of the H3 geospatial indexing system.

(yet another) static site generator. Simple, customisable, fast, maths with KaTeX, code evaluation, optional pre-rendering, in Julia.

A formalization of (homotopy) limits in Homotopy Type Theory

A Unity example using the Google Geospatial API