Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
☆17Jun 7, 2019Updated 6 years ago
Alternatives and similar repositories for bin
Users that are interested in bin are comparing it to the libraries listed below
Sorting:
- Code from the book "Hacker's Delight" by Henry S. Warren, Jr. (original and my own modifications).☆24Dec 4, 2010Updated 15 years ago
- [ICLR 2025] Code for the paper "Implicit Search via Discrete Diffusion: A Study on Chess"☆37Mar 3, 2025Updated 11 months ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- This repository contains my solutions for Introduction to Computing Systems - From Bits & Gates to C - C++ & Beyond by Yale Patt and Sanj…☆20Aug 19, 2025Updated 6 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- A cellular automata program built with C++, OpenGL, CUDA and OpenMP.☆11Feb 20, 2023Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- JSON encoding / decoding for LiveCode only with livecode-script☆13Oct 19, 2025Updated 4 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Chromium extension to send a page to a e-mail recipient.☆13Aug 28, 2024Updated last year
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 5 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- Natively building Lua with any compiler on any platform☆10Feb 5, 2023Updated 3 years ago
- Kubernetes: OIDC Authn + Azure AD + RBAC Authz = <3☆11Mar 6, 2018Updated 7 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Nov 11, 2020Updated 5 years ago
- Module for finding eigenvalues and wavefunctions using spectral methods.☆11Aug 24, 2016Updated 9 years ago
- Tabula Rasa Tic-Tac-Toe☆10Jan 3, 2019Updated 7 years ago
- Solver for Constrained Horn Clauses☆50Updated this week
- Documentation☆45Nov 2, 2025Updated 3 months ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- Expands [%here] into its location☆14Jan 15, 2026Updated last month
- UCI Chess Engine Protocol☆11Aug 11, 2021Updated 4 years ago
- ☆11Nov 10, 2023Updated 2 years ago
- ☆11Jun 17, 2023Updated 2 years ago
- Markovian State and Action Abstractions for MDPs via Hierarchical MCTS within a POMDP Formulation☆11Jul 26, 2016Updated 9 years ago
- An attempt to bring forum features to Discord.☆10Oct 17, 2020Updated 5 years ago
- GNU M4 is an implementation of the traditional Unix macro processor.☆12Mar 3, 2017Updated 8 years ago
- A very powerful keyboard layout for Windows, tailored for efficient and convenient output of international alphabetical languages and sc…☆14Feb 13, 2025Updated last year
- A Chrome Extension that shows tabs in an intuitive vertical tree-style layout on the Side Panel.☆14Oct 23, 2024Updated last year
- An IntelliJ IDEA plugin for goyacc.☆10May 2, 2020Updated 5 years ago
- [NeurIPS 2022] disentanglement evaluation robust to model dimension variance.☆10Sep 21, 2022Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Plugins for po, html and gz files☆14Dec 26, 2025Updated 2 months ago
- Internet Chess ToolKit is a java based set of libraries and widgets useful for performing common tasks such as reading PGN, FEN, and gene…☆12Feb 22, 2017Updated 9 years ago
- 🖥️ 👓 Monitor your OPA Gatekeeper via Grafana Dashboard☆14Dec 17, 2020Updated 5 years ago