Как AdBlock, но против ВООБЩЕМ и ЧТО-БЫ
☆22Nov 29, 2022Updated 3 years ago
Alternatives and similar repositories for chas-correct
Users that are interested in chas-correct are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12May 21, 2024Updated last year
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 13 years ago
- El repositorio de Mis cursos☆19Mar 20, 2026Updated last week
- Development of KETPic and KETCindy☆12Feb 11, 2026Updated last month
- Quantum information library for Maxima☆13May 10, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆21Feb 28, 2026Updated last month
- Library of Octave functions for continuous gravitational-wave data analysis☆12Feb 28, 2023Updated 3 years ago
- Grand Unified Discontinuous Galerkin Environment? A DG code in training.☆15Mar 15, 2026Updated 2 weeks ago
- Examples, grammar, highlight, autocomplete, etc. files for some programming / scripting languages.☆11Aug 10, 2020Updated 5 years ago
- Motion4D - A library for lightrays and timelike worldlines in the theory of relativity☆15Jan 8, 2022Updated 4 years ago
- ☆20Jan 31, 2026Updated last month
- Define maxima-file component to handle Maxima files in ASDF.☆12Jan 18, 2024Updated 2 years ago
- OEIS爬虫☆14Dec 17, 2018Updated 7 years ago
- Framework for autonomous vehicle risk assessment☆16May 11, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- A numerical linear algebra library in Common Lisp.☆16Feb 1, 2023Updated 3 years ago
- This Question type plugin for ILIAS is a port of STACK, originally created by Chris Sangwin. It provides the most advanced Learning Tool …☆18Mar 5, 2026Updated 3 weeks ago
- Facebook authentication for waterlock☆12Oct 23, 2017Updated 8 years ago
- Reference type checker for the Lean theorem prover☆18Feb 14, 2018Updated 8 years ago
- ☆22Mar 22, 2024Updated 2 years ago
- Plantilla para la elaboración de un trabajo de fin de grado.☆15Jun 16, 2025Updated 9 months ago
- LISP Mathematical Library☆24Jun 27, 2022Updated 3 years ago
- ☆16Jun 17, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- All my old code in various languages. Some of it is better than the rest.☆28Feb 27, 2026Updated last month
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Something called geometry☆34Sep 7, 2025Updated 6 months ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 9 months ago
- Source code of Macpaint v1.3☆13Mar 3, 2015Updated 11 years ago
- It all started with the big bang☆32Jan 7, 2018Updated 8 years ago
- LODA Programs for Integer Sequences☆38Updated this week
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 4 years ago
- A standalone implementation of the DOM Events APIs, extracted from the Node.js codebase, for usage in WinterCG runtimes.☆18Mar 20, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- R Package - Dynamical Systems Approach to Immune Response Modeling☆34Jul 19, 2024Updated last year
- Ext2/3/4 file system utilities☆15Jul 4, 2015Updated 10 years ago
- Random number generators for modern .NET.☆10Sep 21, 2025Updated 6 months ago
- Add TLS Dynamic Record Resizing to Nginx☆17May 23, 2017Updated 8 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 9 years ago
- Vtpl is a php template engine that ensures proper separations of concerns, the frontend logic is separated from presentation. The goal is…☆22Mar 11, 2024Updated 2 years ago