-
Permo
- Sweden
- @lukego
Stars
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]
A Common Lisp Bayesian Network Inference Engine
A TPE (Tree-structured Parzen Estimator) implementation in Rust
andreas-abel / XED-to-XML
Forked from intelxed/xedXML representation of the x86 instruction set
An operating system written in Common Lisp
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
Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
Verilator open-source SystemVerilog simulator and lint system
Deducing Tock execution flows from Ibex Verilator traces
The LATENTPACKET network infrastructure platform
A Minecraft mod that adds planes and automobiles with realistic physics!