☆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
- ☆26Jun 10, 2023Updated 2 years ago
- Download full or partial git-lfs repos without temporarily using 2x disk space☆32Oct 13, 2023Updated 2 years ago
- Guess the Hacker News titles☆13Mar 24, 2022Updated 4 years ago
- Go language bindings for the ggwave C++ library☆14Apr 9, 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.
- Tensor library for machine learning☆274Apr 23, 2023Updated 3 years ago
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 years ago
- The Codec 2 speech codec, compiled to WASM using Emscripten.☆13Apr 27, 2023Updated 3 years ago
- Guaranty the output of an LLM to follow a json schema.☆25Dec 6, 2023Updated 2 years ago
- Downsampling array of intervals☆26Dec 11, 2019Updated 6 years ago
- Semantic emoji finder. Python/dash UI. Uses sentence transformer embeddings and duckdb☆20Sep 15, 2025Updated 8 months ago
- 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
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Apr 23, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Decrypt multicast Verimatrix streams☆13Apr 21, 2022Updated 4 years ago
- Fully typesafe nextjs-ai-starter using 2 agents/tools out of the box https://nextjs.ai☆12Jun 14, 2023Updated 2 years ago
- ☆16Jul 11, 2025Updated 10 months ago
- A fast pure-Python search engine☆12Apr 9, 2009Updated 17 years 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.☆15Updated this week
- GGML implementation of BERT model with Python bindings and quantization.☆57Feb 19, 2024Updated 2 years ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17May 7, 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.
- 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.☆47Nov 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 4 months ago
- A collection of character cards for use in AI Roleplaying☆87Apr 10, 2023Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- Probabilistic deep learning using JAX☆15Feb 8, 2025Updated last year
- Demos of some issues with LangChain.☆31Jul 14, 2023Updated 2 years ago
- ☆16May 30, 2023Updated 2 years ago
- Using OpenAI's Whisper via whisper.cpp with SFML☆14Dec 2, 2025Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Unofficially Implements https://arxiv.org/abs/2112.05682 to get Linear Memory Cost on Attention for PyTorch☆12Jan 16, 2022Updated 4 years ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Jun 16, 2023Updated 2 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- ☆13Jan 15, 2024Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Web App to transcribe memos using Whisper AI.☆18Oct 23, 2022Updated 3 years ago