☆14Apr 14, 2021Updated 4 years ago
Alternatives and similar repositories for Probabilistic_Programming
Users that are interested in Probabilistic_Programming are comparing it to the libraries listed below
Sorting:
- A wavetable synthesizer in Zig☆13Mar 26, 2020Updated 5 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Jun 27, 2025Updated 8 months ago
- Example of how to use UVM with Verilator☆37Feb 19, 2026Updated last week
- MPRI-2.4 Dependently-typed Functional Programming☆32Dec 10, 2020Updated 5 years ago
- Store Terraform state for your GitHub Actions as an encrypted artifact or repository file.☆10Jul 12, 2024Updated last year
- Using Zig and WebGL☆33Sep 19, 2023Updated 2 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Bloom Filter implementation in Clojure☆57Feb 26, 2023Updated 3 years ago
- Code for Clojure Conj 2015 talk☆37Sep 29, 2016Updated 9 years ago
- A Wayland compositor written in Zig☆38Oct 20, 2024Updated last year
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Signup Login Dapp - user can interact with the dapp using metamask. Details gets stored in MongoDb server as well.☆11Feb 5, 2019Updated 7 years ago
- A music theory library for Clojure/ClojureScript☆42Aug 14, 2016Updated 9 years ago
- Subplex Optimization Algorithm☆11Nov 25, 2025Updated 3 months ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ⛔️ DEPRECATED - Live App SDK☆12Apr 15, 2024Updated last year
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 6 months ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Style files for working with categorial grammars in LaTeX.☆13Oct 9, 2014Updated 11 years ago
- Use Tribuo ML model in metamorph.ml☆13Apr 30, 2025Updated 10 months ago
- easy directory watches in clojure☆11Sep 9, 2019Updated 6 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Fork of Gaigen 2.5☆12Aug 14, 2015Updated 10 years ago
- Consistent Hashing Ring Simulator made using raylib☆14Aug 19, 2024Updated last year
- Data-first tool for debugging and tracing your Clojure code without changing it or instrumenting the compiler.☆14Dec 18, 2025Updated 2 months ago
- A proof of concept Clojure port of the Tinywl wayland compositor☆10Aug 28, 2024Updated last year
- A lightweight markup format to turn strings into maps in Clojure.☆18May 27, 2014Updated 11 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- A Java Native Interface (JNI) library that permits Java applications to load and use Vamp audio analysis plugins.☆10Nov 16, 2016Updated 9 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Dead Simple Distributed Computing for Clojure☆35Apr 24, 2013Updated 12 years ago
- 🪵 Structured logging for Clojure. Thin layer on top of clojure.tools.logging with MDC support☆12Jan 8, 2026Updated last month
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Uses Node.js and Leap Motion to control an AR Drone and stream video to the browser.☆62Nov 20, 2013Updated 12 years ago
- Compiles wisp expressions to Javascript in your Clojure project☆12Dec 30, 2018Updated 7 years ago