Helper scripts for understanding Gödel's Incompleteness Theorem
☆14Feb 24, 2022Updated 4 years ago
Alternatives and similar repositories for godel
Users that are interested in godel are comparing it to the libraries listed below
Sorting:
- ☆13Feb 14, 2022Updated 4 years ago
- NDI plugin for vvvv☆13Oct 21, 2018Updated 7 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 6 years ago
- Basic mesh rendering module☆25May 15, 2024Updated last year
- Official implementation of the paper "Interventions, Where and How? Experimental Design for Causal Models at Scale", NeurIPS 2022.☆20Jan 3, 2023Updated 3 years ago
- A JS / WebGL Cellular Automata engine☆23Mar 6, 2018Updated 7 years ago
- 2D Computational Geometry for Javascript☆24Apr 25, 2017Updated 8 years ago
- A Backbone-based sequencer that composes sounds from around the web.☆41Dec 8, 2022Updated 3 years ago
- 🎓 GSU MPA/MPP course on program evaluation and causal inference☆24May 10, 2020Updated 5 years ago
- Automatic differentiation for glsl☆29Aug 22, 2021Updated 4 years ago
- ☆35Jul 11, 2022Updated 3 years ago
- Experiment implementation of Multiple Neighborhoods Cellular Automata using WebGPU☆40Feb 4, 2023Updated 3 years ago
- Notch filtering using ofxCv☆10May 17, 2021Updated 4 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- code examples of a the SDKv6.0 DFU bootloader modified to be built by gcc.☆10Jan 8, 2025Updated last year
- [AAAI 2021 Workshop] The official repository for the LST-MAP model for few-shot image classification.☆13Feb 12, 2021Updated 5 years ago
- Český preklad Návratov 2.0☆15Jul 27, 2022Updated 3 years ago
- Attempts to build pages for a wiki based on info dumped from New World assets.☆12Oct 31, 2021Updated 4 years ago
- GLSL Shader to add outlines to images☆15Apr 11, 2021Updated 4 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- Calculations of dipole axis, dipole poles, and dipole tilt angle☆10Oct 28, 2024Updated last year
- ☆14Feb 10, 2026Updated 2 weeks ago
- AGS Fast Wave Function Collapse Plugin☆15Jun 23, 2020Updated 5 years ago
- Show audiences comments on your screen.☆11Sep 15, 2025Updated 5 months ago
- Demonstrates how to use R2DBC - Reactive Relational Database Connectivity in Scala☆12Feb 27, 2019Updated 7 years ago
- Temporal Predictive Coding For Model-Based Planning In Latent Space (ICML-2021)☆13Jul 22, 2024Updated last year
- Basic A-Frame support for the new three.ar.js library and WebARonARKit / WebARonARCore browsers.☆11Aug 30, 2017Updated 8 years ago
- Typescript implementation of the hobby curve algorithm☆12Nov 4, 2022Updated 3 years ago
- A lightweight, fluent Domain-Specific Language (DSL) for building type-safe, composable business flows in Java.☆14May 13, 2025Updated 9 months ago
- Sangria monix integration☆10Feb 12, 2026Updated 2 weeks ago
- ☆10Mar 9, 2023Updated 2 years ago
- The best rating system plugin for WordPress. Multi Rating allows visitors to rate a post based on multiple criteria and questions.☆11Mar 7, 2021Updated 4 years ago
- ScalikeJDBC demo on Android SQLite.☆10May 6, 2015Updated 10 years ago
- Code for the workshop Generative and Data-Driven Posters☆12Jan 25, 2019Updated 7 years ago
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 2 weeks ago
- This project was created for Unity ML-Agents Challenge - https://connect.unity.com/challenges/ml-agents-1☆12Aug 15, 2020Updated 5 years ago
- GPU calculated reaction diffusion system.☆10Jan 7, 2017Updated 9 years ago
- Lona cross-platform code compiler☆11Jun 27, 2022Updated 3 years ago
- Set of nodes to work with NetMQ☆12Jan 28, 2025Updated last year