Learn about species counterpoints with an interactive web editor that checks your counterpoints for mistakes and dynamically generates examples
☆15Jul 31, 2022Updated 4 years ago
Alternatives and similar repositories for counterpointer
Users that are interested in counterpointer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Updated this week
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- what we've learned about linear fitting; might eventually merge into DAR☆11Aug 20, 2021Updated 5 years ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 3 weeks ago
- Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop☆18Oct 15, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated 2 years ago
- Implement a class in C++ that allows you to create integers of arbitrary size.☆13Oct 28, 2013Updated 13 years ago
- ☆12Jun 5, 2023Updated 3 years ago
- A Foundry template to compile and test Fe contracts.☆14Apr 6, 2023Updated 3 years ago
- Solve a Sudoku puzzle with a quantum computer☆34Dec 14, 2023Updated 2 years ago
- Deep Multiscale Renormalization Ansatz(DMERA) : Noise-Resilient Quantum Simulation of Strongly Correlated Quantum Many-body Systems☆14Sep 18, 2020Updated 6 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- A repository to host releases of the Actias application.☆14May 13, 2026Updated 5 months ago
- Rudimentary snippets facility for ScIDE, implemented in sclang☆13Oct 20, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This repository contains my personalized configuration files for Neovim, tailored to enhance my coding and editing experience. Feel free …☆12Dec 18, 2023Updated 2 years ago
- ☆16Apr 25, 2023Updated 3 years ago
- ☆11Apr 22, 2026Updated 6 months ago
- Kolmogorov Arnold Networks trained on MNIST☆12May 4, 2024Updated 2 years ago
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆17Sep 9, 2026Updated last month
- ☆11Jan 9, 2021Updated 5 years ago
- RAndom Circuit Block Encoded Matrix (RACBEM)☆13Aug 30, 2020Updated 6 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago
- Hinbox is a flexible, domain-configurable entity extraction system designed for historians and researchers.☆16Oct 25, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A fast tensor library for c++.☆11Sep 23, 2015Updated 11 years ago
- Interactive MIDI in Jupyter☆16Oct 5, 2026Updated 3 weeks ago
- A fast and reliable public EVM RPC that races providers.☆13Sep 29, 2026Updated last month
- Library for querying in-memory facts using datalog☆13May 19, 2025Updated last year
- Reduce the number of queries to Ethereum☆10Dec 23, 2022Updated 3 years ago
- ☆11Mar 22, 2023Updated 3 years ago
- QWOP AI using Q-learning☆12Jul 13, 2016Updated 10 years ago
- L2 bridging for ENS with onchain guarantees.☆11Feb 19, 2024Updated 2 years ago
- A curated list of awesome resources and projects that concern smartcontract upgradeability☆14Apr 27, 2023Updated 3 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.
- ☆12Sep 8, 2023Updated 3 years ago
- ☆12Jun 22, 2023Updated 3 years ago
- ☆11Apr 25, 2024Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated 2 years ago
- Submit a description of your app, integration, project, or ideas here.☆11Oct 11, 2022Updated 4 years ago
- The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…☆10Jan 6, 2026Updated 9 months ago
- My personal website + blog☆19May 13, 2024Updated 2 years ago