Training GPTs to solve interaction nets
☆18Aug 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:
- ☆16Jul 21, 2026Updated 3 months ago
- Training Models Daily☆16Dec 19, 2023Updated 2 years ago
- tattoo robot 🦾🖋️🎨☆12Aug 31, 2026Updated last month
- Using GRPO and a modified compositional reward function to train an opensource model on the 1890 Dakota Dictionary☆14Updated this week
- Parallel Environment for optimal Lambda Calculus Reduction☆29Jul 5, 2026Updated 3 months 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.
- Bluetooth timer for Smart Cubes☆15Aug 1, 2024Updated 2 years ago
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- ☆16Jul 29, 2025Updated last year
- ☆16Feb 5, 2026Updated 8 months ago
- ☆40Oct 5, 2026Updated 2 weeks ago
- Three face swappers including face enhancement full onnx☆13Apr 27, 2024Updated 2 years ago
- ☆32Mar 30, 2023Updated 3 years ago
- An example of how to render a triangle with WebGPU using WebGPU Shading Language - the "Hello world!" of computer graphics.☆11May 30, 2022Updated 4 years ago
- GraphRag vs Embeddings☆16Jul 14, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆32Mar 3, 2025Updated last year
- A minimal proof checker.☆84Sep 9, 2024Updated 2 years ago
- ☆20Nov 14, 2025Updated 11 months ago
- A python framework to streamline your ARC challenge solutions. From graphical displays to optimized Kaggle submissions☆13Oct 17, 2024Updated 2 years ago
- ☆16May 24, 2026Updated 5 months ago
- Inpla: Interaction nets as a programming language (the current version)☆334May 3, 2026Updated 5 months ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 2 months ago
- ☆12Apr 20, 2024Updated 2 years ago
- Evalution: evolve your LLMs with better evals.☆16Sep 26, 2026Updated 3 weeks 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.
- Uses TDA API in order to scrape data for implied volatility as well as option greeks.☆13Oct 4, 2024Updated 2 years ago
- ☆12May 7, 2023Updated 3 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆15Jul 26, 2026Updated 2 months ago
- Codebase for Context-aware Meta-learned Loss Scaling (CaMeLS). https://arxiv.org/abs/2305.15076.☆26Jan 23, 2024Updated 2 years ago
- Some Thoughts on AI Alignment: Using AI to Control AI☆16Feb 25, 2025Updated last year
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated 2 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 7 years ago
- Riemann Hypothesis in Lean☆47Mar 3, 2021Updated 5 years ago
- bearcove internal building tool☆11Apr 28, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Visualize market depth☆18Mar 31, 2025Updated last year
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆11Jun 29, 2026Updated 3 months ago
- An experiment to see if chatgpt can improve the output of the stanford alpaca dataset☆12Mar 29, 2023Updated 3 years ago
- Griffin: Mixing Gated Linear Recurrences with Local Attention for Efficient Language Models☆13Aug 2, 2026Updated 2 months ago
- Concurrent, lock-free, no-std stack implementation in Rust.☆11Oct 5, 2026Updated 2 weeks ago
- Llama-architecture models (SmolLM2 135M, 360M, 1.7B) in Bend 2, token for token against PyTorch, with the shapes in the types☆16Updated this week
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated last month