-
Permo
- Sweden
- @lukego
Stars
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
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Glamorous Toolkit is the Moldable Development environment. It empowers you to make systems explainable through experiences tailored for each problem.
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!