Training GPTs to solve interaction nets
☆19Aug 14, 2024Updated 2 years ago
Alternatives and similar repositories for clevergpt
Users that are interested in clevergpt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- ☆16Jul 21, 2026Updated 3 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆30Oct 31, 2026Updated 2 weeks ago
- ☆16Jul 29, 2025Updated last year
- ☆16Feb 5, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Fast, Minimal Memory, Consistent Hash Algorithm ( origin: Google https://arxiv.org/pdf/1406.2294v1.pdf )☆15Jun 10, 2026Updated 5 months ago
- A parallel general purpose computer based on interaction combinators☆12Nov 19, 2021Updated 4 years ago
- Three face swappers including face enhancement full onnx☆13Apr 27, 2024Updated 2 years ago
- Code for the paper "Learning Temporal Distances: Contrastive Successor Features Can Provide a Metric Structure for Decision-Making"☆30Jul 11, 2024Updated 2 years ago
- An example of how to render a triangle with WebGPU using WebGPU Shading Language - the "Hello world!" of computer graphics.☆12May 30, 2022Updated 4 years ago
- GraphRag vs Embeddings☆16Jul 14, 2024Updated 2 years ago
- ☆17Jun 18, 2026Updated 4 months ago
- Bluetooth timer for Smart Cubes☆15Aug 1, 2024Updated 2 years ago
- ☆20Nov 14, 2025Updated last year
- 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.
- Demystify AI concepts: hand-solved problems translated into code for clarity.☆13Oct 7, 2024Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆89Feb 17, 2017Updated 9 years ago
- Simple meeting diarization and speaker id assistant for meetings.☆12Feb 10, 2025Updated last year
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 3 months ago
- Functions and bitwise operators for the Int numeric type☆19Updated this week
- Uses TDA API in order to scrape data for implied volatility as well as option greeks.☆13Oct 4, 2024Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆11Feb 2, 2023Updated 3 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆16Jul 26, 2026Updated 3 months ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Calculus of Constructions☆19Jul 17, 2019Updated 7 years ago
- PORRA, OUTRO FRAMEWORK!☆11Apr 6, 2017Updated 9 years ago
- 'dgram' for the browser☆12Mar 17, 2013Updated 13 years ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆12Jun 29, 2026Updated 4 months ago
- bearcove internal building tool☆11Apr 28, 2025Updated last year
- Codebase for Context-aware Meta-learned Loss Scaling (CaMeLS). https://arxiv.org/abs/2305.15076.☆26Jan 23, 2024Updated 2 years ago
- ☆13May 7, 2023Updated 3 years ago
- An experiment to see if chatgpt can improve the output of the stanford alpaca dataset☆12Mar 29, 2023Updated 3 years ago
- MOVED TO CODEBERG☆13Aug 24, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Dec 1, 2021Updated 4 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- ☆11Jan 21, 2026Updated 9 months ago
- node js xmr rpc wallet management package☆17Mar 12, 2015Updated 11 years ago
- Stockfish and chess on RISC-V MangoPi 🥭♟️☆12Jun 8, 2024Updated 2 years ago
- ☆16Nov 13, 2023Updated 3 years ago
- Automatically research and outbound companies with Exa API and google sheets app scripts.☆18Jun 24, 2024Updated 2 years ago
Are these results useful?