Lists (2)
Stars
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
Lean 4 programming language and theorem prover
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
⭐️ A friendly language for building type-safe, scalable systems!
Cloud Haskell core libraries
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
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
An extensible framework for geospatial data science and geostatistical modeling fully written in Julia
Computing reachable states of dynamical systems in Julia