☆35Apr 8, 2023Updated 3 years ago
Alternatives and similar repositories for program-constrained-language-model-sampling
Users that are interested in program-constrained-language-model-sampling are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A relatively basic implementation of RWKV in Rust written by someone with very little math and ML knowledge. Supports 32, 8 and 4 bit eva…☆94Sep 2, 2023Updated 2 years ago
- CTE: Contextualized Table Extraction Dataset☆17Feb 23, 2023Updated 3 years ago
- ☆18Jun 7, 2023Updated 2 years ago
- Guess the Hacker News titles☆12Mar 24, 2022Updated 4 years ago
- Go language bindings for the ggwave C++ library☆14Apr 9, 2025Updated last year
- 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.
- Minimal zero-shot intent classifier for arbitrary intent slot filling, via LLM prompting w LangChain.☆37Mar 13, 2023Updated 3 years ago
- Web browser version of StarCoder.cpp☆46Jul 30, 2023Updated 2 years ago
- Decrypt multicast Verimatrix streams☆13Apr 21, 2022Updated 3 years ago
- ☆16Jul 11, 2025Updated 9 months ago
- A fast pure-Python search engine☆12Apr 9, 2009Updated 17 years ago
- Inference of Mamba, Mamba2 and Mamba3 models in pure C☆199Mar 18, 2026Updated 3 weeks ago
- A command line parser written in Go☆12Nov 20, 2021Updated 4 years ago
- ☆13Aug 29, 2023Updated 2 years ago
- Use `outlines` generators with Haystack.☆15Apr 6, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17May 7, 2024Updated last year
- This repo contains the code used to generate the French Wikipedia sample used in the QA annotation project PIAF☆11Jun 15, 2021Updated 4 years ago
- Demo python script app to interact with llama.cpp server using whisper API, microphone and webcam devices.☆46Nov 6, 2023Updated 2 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 3 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Probabilistic deep learning using JAX☆15Feb 8, 2025Updated last year
- Yet another LLM☆10Apr 6, 2023Updated 3 years ago
- Demos of some issues with LangChain.☆31Jul 14, 2023Updated 2 years ago
- LLMON (pronounced limón) is a structured data format optimized for large language models☆33Jul 17, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Using OpenAI's Whisper via whisper.cpp with SFML☆14Dec 2, 2025Updated 4 months ago
- This project is a versatile and powerful search tool that leverages state-of-the-art natural language processing models to provide releva…☆12Apr 3, 2023Updated 3 years ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- Unofficially Implements https://arxiv.org/abs/2112.05682 to get Linear Memory Cost on Attention for PyTorch☆12Jan 16, 2022Updated 4 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Jun 16, 2023Updated 2 years ago
- ☆13Jan 15, 2024Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Web App to transcribe memos using Whisper AI.☆18Oct 23, 2022Updated 3 years ago
- various experiments for scaling inference time compute with small reasoning models☆17Jan 16, 2025Updated last year
- A Kotlin Multiplatform Project utilizing ggwave, a data-over-sound library.☆20Nov 23, 2024Updated last year
- YASEM - Yet Another Splade|Sparse Embedder - A simple and efficient library for SPLADE embeddings☆13May 22, 2025Updated 10 months ago
- Structured Generation Evals☆14Sep 25, 2024Updated last year
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 4 years ago
- Turning Python into a probabilistic programming language☆19Sep 2, 2014Updated 11 years ago