☆23Feb 9, 2025Updated last year
Alternatives and similar repositories for verifiers
Users that are interested in verifiers are comparing it to the libraries listed below
Sorting:
- ☆39Dec 21, 2025Updated 2 months ago
- Claude Code monitoring and observability tool☆41Jan 24, 2026Updated last month
- Codebase for fine-tuning Llama2 70B to generate math test questions and answers.☆11Aug 30, 2024Updated last year
- A Node.Js / Neo4J tool that translates words and relations into network graphs and shows you how it all connects.☆11Oct 24, 2019Updated 6 years ago
- Evaluating language models on word puzzle games☆10Oct 25, 2024Updated last year
- ☆10Oct 1, 2022Updated 3 years ago
- ☆12Sep 1, 2024Updated last year
- Koel Labs innovates open-source speech research, inclusive speech technologies, and real-time pronunciation feedback for language learner…☆18Updated this week
- Evaluation of Oasis Platform - simple install, UI and API☆14Feb 9, 2026Updated 3 weeks ago
- Repository associated with the NASA ARSET Training, "Drought Monitoring, Prediction, and Projection using NASA Earth System Data"☆17Aug 1, 2024Updated last year
- Starter project for the React front end for Build an app on Terra☆12Apr 23, 2022Updated 3 years ago
- ☆11Jul 29, 2022Updated 3 years ago
- Agora Space landing page☆11Feb 14, 2023Updated 3 years ago
- An experiment in permeable publishing.☆11Jan 17, 2017Updated 9 years ago
- Wordle Game Implemented with Optimint☆15Apr 3, 2024Updated last year
- Schooler - Academics Manager☆11May 9, 2021Updated 4 years ago
- Ubiquity Algorithmic Dollar (uAD) smart contracts.☆16Feb 8, 2026Updated 3 weeks ago
- ☆10Jun 17, 2022Updated 3 years ago
- ☆13Jul 12, 2024Updated last year
- Universal LLM security auditor with automated jailbreak testing, DSPy optimization, and OWASP 2025-aligned attack patterns☆21Oct 23, 2025Updated 4 months ago
- ☆11Jul 11, 2025Updated 7 months ago
- An implementation of the linear least squares derivative method for calculating azimuthal shear and an ideal vortex wind field creator.☆15Apr 16, 2023Updated 2 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- A single-asset DAI vault that earns profit through depositing funds into the Curve 3pool.☆10Jan 9, 2022Updated 4 years ago
- NaCl substitute of sorts in Elixir☆13Feb 4, 2026Updated 3 weeks ago
- Open Exposure Data☆13May 18, 2020Updated 5 years ago
- A flexible and decentralized Ethereum blockchain explorer☆11Aug 14, 2022Updated 3 years ago
- Estimating power system inertia using convolutional neural network☆12Dec 13, 2020Updated 5 years ago
- Block ads, tracking, popup sites and servers that most use on Thai sites.☆10Oct 12, 2025Updated 4 months ago
- The EVM compatible smart contracts and examples for the DLC.Link system☆10Aug 19, 2025Updated 6 months ago
- a Hadoop Map Reduce application that retrieves data/articles related to sports from sources like NY Times, Commoncrawl, and Twitter and c…☆13Oct 3, 2019Updated 6 years ago
- Solidity library to query contract ABI in Foundry tests and scripts☆14Apr 26, 2024Updated last year
- Converts provided SVG to bitmap and slices it into tiles for use e.g. in Leaflet. Supports UTFGrid.☆23Apr 15, 2016Updated 9 years ago
- Code to reproduce the material covered in Kùzu's YouTube tutorials☆20Oct 10, 2025Updated 4 months ago
- ☆12Oct 17, 2025Updated 4 months ago
- Very basic solar regression☆16Feb 24, 2026Updated last week
- ☆14May 25, 2024Updated last year
- ☆13Sep 9, 2024Updated last year
- Tool to train/test models on 3d point cloud segmentation☆10Jun 14, 2025Updated 8 months ago