decentralized defense against changing data
☆18Jan 30, 2017Updated 9 years ago
Alternatives and similar repositories for minitrue
Users that are interested in minitrue are comparing it to the libraries listed below
Sorting:
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- Material for a course on applied machine-learning for scientists. Taught at EPFL in spring 2018.☆11May 3, 2018Updated 7 years ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- A personal document with reports, analysis, and plotting of personal analytics data using R.☆13Jul 28, 2016Updated 9 years ago
- Unofficial terralang compiler☆13Apr 21, 2023Updated 2 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- Goofy physics notation☆11Apr 7, 2020Updated 5 years ago
- A C Templating Engine☆11Apr 13, 2017Updated 8 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 5 months ago
- Find unicode codepoints to use in normalisation and transformation attacks.☆11Mar 15, 2021Updated 4 years ago
- Java Library to include text messages into stack traces☆11Oct 25, 2019Updated 6 years ago
- An expiring key/value cache with a Redis interface☆13Sep 10, 2015Updated 10 years ago
- Low Level Java Virtual Machine with pull requests merged☆10May 7, 2016Updated 9 years ago
- GLSL to bytecode compiler and VM☆10May 24, 2016Updated 9 years ago
- Evaluates the negativity of tweets in relation to candidate(s) that the tweeter follows☆10Jun 29, 2023Updated 2 years ago
- gltron - patched for SDL2/etnaviv☆12Dec 7, 2016Updated 9 years ago
- Python observability & instrumentation primitives for metrics and benchmarking☆12May 12, 2018Updated 7 years ago
- API documentation site template☆10Apr 24, 2015Updated 10 years ago
- Analyzing Stock Movements using Markov Chains and Monte Carlo Simulation☆12Dec 25, 2016Updated 9 years ago
- A Simple DSL to create Directory Tree with Text Files☆15Jul 13, 2021Updated 4 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- ☆11Aug 27, 2021Updated 4 years ago
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Nov 1, 2021Updated 4 years ago
- A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science☆12Jul 4, 2019Updated 6 years ago
- Fast tensor disentangling algorithm☆10Jun 4, 2021Updated 4 years ago
- A generic GLSL post-processing module for applying super-speedy GPU effects to img/video/canvas elements.☆27Aug 20, 2017Updated 8 years ago
- Neo4j tutorials translated into Go & neoism☆13Aug 21, 2014Updated 11 years ago
- Official implementation of spectrum bifurcation renormalization group(SBRG), which is suitable for quantum simulation on strong disordere…☆11Feb 23, 2021Updated 5 years ago
- Overview of the Java Delight Suite☆11Feb 4, 2018Updated 8 years ago
- dotfiles. Installer for key programs, fonts, vim, and zsh☆13Jul 16, 2024Updated last year
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- async ftp client for vertx 3☆10Jun 21, 2016Updated 9 years ago
- Just enough TLS sugar☆14May 2, 2015Updated 10 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Nov 22, 2018Updated 7 years ago
- vertx tcp eventbus client module for python☆12Aug 5, 2016Updated 9 years ago
- ☆10May 13, 2017Updated 8 years ago
- CURL bind and wrapper for Lua+FFI☆11Apr 25, 2014Updated 11 years ago
- Generate Go structs from JSON!☆42May 1, 2013Updated 12 years ago