A new type of shell

An extension for VS Code which provides support for HOL Light

OCaml with macros

The Julia Programming Language

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…

The source code of the extension CompareFolders

Node JS directory compare

Better configuration for less

Generate Nix expressions for building a Julia depot with a set of packages

A symbolic math library written in Julia modelled off scmutils

The 3rd edition of course.fast.ai

Manage your macOS using Nix

Your project's nix-env

Visual Studio Code extension for Coq

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Large category of modules over monads on top of UniMaths and Display category

Embeddable Lambda Prolog Interpreter

The easiest way to get started with PostgreSQL on the Mac

A Pythonic implementation of *microkanren* logic language

The Agda standard library

NixOps is a tool for deploying to NixOS machines in a network or cloud.

Nix, the purely functional package manager

Nix Packages collection

Miller/pattern unification in Agda

Nix Packages collection & NixOS

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…