Documentation for the sample programs repository
☆33Jan 31, 2026Updated last month
Alternatives and similar repositories for sample-programs-website
Users that are interested in sample-programs-website are comparing it to the libraries listed below
Sorting:
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Documentation for Neotoma, an open-source system for managing and reusing personal data online☆26Nov 18, 2017Updated 8 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
- Serialize ngraph.graph to binary format☆10Oct 9, 2025Updated 4 months ago
- Implementing expectimax, alpha-beta pruning, and minimax algorithms in a game of Pacman☆11Jan 17, 2014Updated 12 years ago
- ☆17Feb 20, 2020Updated 6 years ago
- ☆11Aug 27, 2024Updated last year
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- Repository to host the GRAPE code developed by the BDS group☆13May 22, 2025Updated 9 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Python script to stream twitter data to Postgres☆10May 18, 2020Updated 5 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ☆10Jan 15, 2025Updated last year
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Reddit bot that scans 3 day-old /r/DoesAnybodyElse posts with 0 score and then comments "Nope, it's just you."☆21Dec 14, 2013Updated 12 years ago
- Chrome extension which shows you what you are missing on Google.☆22Mar 23, 2023Updated 2 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- Walkthroughs for the modules in the Hypercore Protocol stack☆12Mar 17, 2022Updated 3 years ago
- 🖥️ Custom Flask + Jinja2 static site generator and content powering Monadical.com☆11Feb 12, 2026Updated 2 weeks ago
- Playground dbt project to demonstrate Elementary's capabilities.☆11Updated this week
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- Tumblr reblog bot☆15Apr 11, 2013Updated 12 years ago
- JavaScript library to embed podcasts anywhere☆10Aug 7, 2020Updated 5 years ago
- Increase you Twitter presence with this bots.☆13Jul 25, 2023Updated 2 years ago
- A (incomplete) terminal Tetris. Written in Haskell.☆26Jan 18, 2018Updated 8 years ago
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Mar 6, 2020Updated 5 years ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆11Jan 9, 2026Updated last month
- The translated captions of my screencasts☆47Oct 6, 2022Updated 3 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Get instant notification of observed tumblr blog update to telegram bot.☆11Apr 18, 2017Updated 8 years ago
- External link tracking tool for Wikimedia partnerships☆11Oct 3, 2025Updated 4 months ago
- Try Scroll in your web browser☆18May 21, 2025Updated 9 months ago