Web page for exponent pair database
☆12Aug 5, 2024Updated last year
Alternatives and similar repositories for teorth.github.io
Users that are interested in teorth.github.io are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Dec 25, 2023Updated 2 years ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- An easy to use FEA software that allows you to implement your own physics models☆13Updated this week
- ☆14Jul 16, 2024Updated last year
- FastImp is a wideband impedance extraction program for 3D geometries☆15Nov 6, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Dec 9, 2025Updated 6 months ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 4 months ago
- ☆76May 31, 2025Updated last year
- A simple ddd cqrs framework, an imitator of Axon☆19May 26, 2026Updated 2 weeks ago
- A convolutional neural network (CNN or ConvNet) is one of the most popular algorithms for deep learning, a type of machine learning in wh…☆15Jun 13, 2020Updated 6 years ago
- ☆77May 8, 2026Updated last month
- A Python wrapper for Ansys SimAI☆16Updated this week
- FlawlessChips is a C# library that provides gate-level simulation of various 8-bit chips.☆10Mar 15, 2026Updated 3 months ago
- semantic search for your local files find by meaning, not keywords. 120+ file types, OCR, MCP server for AI agents. 100% private.☆63Feb 19, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Run deepseek4 locally on metal right from within Pi☆151May 14, 2026Updated last month
- all random stuff that dont warrant a seperate repo☆12Sep 2, 2022Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆123Jan 25, 2025Updated last year
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- Source code for the experimental, compact "wee" file compression utility.☆13May 8, 2020Updated 6 years ago
- WASM on CloudFlare Workers☆12Aug 13, 2022Updated 3 years ago
- A protocol based monad implementation for clojure☆61Aug 11, 2014Updated 11 years ago
- Python wrapper library for FreeFem++☆31Sep 17, 2025Updated 8 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 📚 A collection of resources about normalization-by-evaluation☆29Jul 29, 2025Updated 10 months ago
- 🔍 Code Search Tools & Experiments☆12Jun 4, 2026Updated last week
- Translate Nvidia Cg shading source code to Open GL Shading source code☆13Apr 23, 2014Updated 12 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆41Apr 20, 2026Updated last month
- MIT licenced .NET document db with IQueryable support☆26Nov 23, 2013Updated 12 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 8 years ago
- chat on Solid with @Julian-Cole use of Shighl https://github.com/scenaristeur/shighl☆16Jan 7, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- An easy auto framework☆11Nov 14, 2023Updated 2 years ago
- A Snowflake SQL parser (WIP)☆11May 31, 2020Updated 6 years ago
- An open standard to build applications that respect data ownership.☆10Sep 17, 2021Updated 4 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- Unified Maude model-checking tool☆13May 9, 2026Updated last month
- ☆97Nov 12, 2023Updated 2 years ago