Org Social is a decentralized social network that runs on an Org Mode file over HTTP.

Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait interface.

Automated Bayesian model discovery for time series data

Seal your generic functions for an extra boost in performance.

Common Lisp CFFI wrapper around the DuckDB C API

Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.

collection of one-shot scripts to install NixOS on various server hosters and other hardware. [maintainer=@happysalada]

Common Lisp 3D Graphics Project

A Common Lisp Bayesian Network Inference Engine

Call python from Common Lisp

A TPE (Tree-structured Parzen Estimator) implementation in Rust

The Julia Programming Language

XML representation of the x86 instruction set

Vulkan Toolkit

An operating system written in Common Lisp

experimental procedural PCB layout program

Nyxt - the hacker's browser.

Free (GPL) Common Lisp data analysis library with emphasis on modularity and conceptual clarity.

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

JITX Open Components Database

Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.

Genetic Evolution through Combination of Objects

clasp Common Lisp environment

Verilator open-source SystemVerilog simulator and lint system

Deducing Tock execution flows from Ibex Verilator traces

The LATENTPACKET network infrastructure platform

Rush: Snabb written in Rust

A Minecraft mod that adds planes and automobiles with realistic physics!