Some algorithms and data structures
☆17Aug 16, 2020Updated 5 years ago
Alternatives and similar repositories for snippets
Users that are interested in snippets are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Encrypted backup system, written in Rust.☆11Mar 2, 2017Updated 9 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 8 months ago
- ☆13Oct 23, 2018Updated 7 years ago
- Combinators for the real world☆14Aug 16, 2014Updated 11 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 5 years ago
- APL function editor written in APL☆12Mar 9, 2026Updated last month
- Collection of timeseries technical analysis indicators☆17Dec 28, 2022Updated 3 years ago
- Tool to create Tock Application Bundles from ELF files.☆18Aug 12, 2025Updated 8 months ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Aug 9, 2025Updated 8 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- A clion plugin that shows formatted macro expansion in the code documentation panel☆13Jan 22, 2020Updated 6 years ago
- Math workspace and libraries for Dyalog APL☆15Aug 15, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- IntvalPy - a Python interval computation library (interval arithmetic)☆14Mar 8, 2026Updated last month
- pronounced like "auto zone", a place for figuring out algorithms☆11Oct 23, 2023Updated 2 years ago
- covid-19 data in J☆16Dec 14, 2021Updated 4 years ago
- Tody.Chat - Zero-configuration Team Chat☆13Apr 6, 2020Updated 6 years ago
- AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros…☆17Jan 11, 2026Updated 3 months ago
- Steve Baker's Tree Command for Linux☆11Jan 12, 2015Updated 11 years ago
- 🌟A collection of high-star repositories on GitHub. /* My bookmarks! */☆11Feb 11, 2024Updated 2 years ago
- 🦉 System Information Fetcher Written in GNU/Prolog☆15Dec 20, 2021Updated 4 years ago
- Shows only the first page of rustc output☆11May 21, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆17Aug 30, 2025Updated 7 months ago
- ☆16Dec 17, 2023Updated 2 years ago
- Customizable prompt for unix shells☆21Oct 17, 2025Updated 5 months ago
- Task manager☆13Mar 11, 2018Updated 8 years ago
- Rust crate to support allocation in contexts☆15Aug 11, 2022Updated 3 years ago
- Analytical solution to the Time-Dependent Schrodinger equation for a particle in an infinite square well☆14Mar 25, 2019Updated 7 years ago
- A fast ring buffer implementation with cheap and safe indexing written in Rust☆15Sep 22, 2025Updated 6 months ago
- Attempt to automate Cyrillic calligraphy called Vyaz☆11Apr 14, 2024Updated 2 years ago
- A Kubernetes operator providing self-service management of resources for developers.☆20Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Complete Ada-Mode as Vim-Ball or Tar.bz2☆14Jan 3, 2025Updated last year
- A macro to define lambda-like macros inline.☆17Sep 8, 2019Updated 6 years ago
- Experimenting with ergonomic dyn types☆29Dec 6, 2021Updated 4 years ago
- Is it easy to draw a line?☆15Sep 25, 2020Updated 5 years ago
- emulates Maven's uniqueVersion snapshots☆24May 20, 2014Updated 11 years ago
- Experiment to get k-combinations working as a const fn☆13Nov 27, 2025Updated 4 months ago
- A 360 panoramic puzzle game☆17Mar 13, 2021Updated 5 years ago