Verbatim
☆21Sep 22, 2025Updated 8 months ago
Alternatives and similar repositories for verbatim
Users that are interested in verbatim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Search engine for finding and downloading debate evidence☆39Apr 5, 2026Updated last month
- Code for Dissecting Generation Modes for Abstractive Summarization Models via Ablation and Attribution (ACL2021)☆13Jun 2, 2021Updated 4 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- NL2Flow: A PDDL Interface to Flow Construction☆15Dec 4, 2025Updated 5 months ago
- A javascript library to connect to and communicate with a pvsio process using websockets☆17Jul 5, 2023Updated 2 years 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.
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆17Jul 18, 2025Updated 10 months ago
- ☆16Dec 9, 2020Updated 5 years ago
- Imandra ROS☆17Jan 24, 2022Updated 4 years ago
- scripts for sdapi in stable-diffusion-webui☆19Apr 20, 2023Updated 3 years ago
- Training T5 to perform numerical reasoning.☆23Jun 4, 2021Updated 4 years ago
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated last year
- ☆11Mar 24, 2026Updated 2 months ago
- BERT models for many languages created from Wikipedia texts☆33May 25, 2020Updated 6 years ago
- flood fill a 2D map to create a Dijkstra map (distance map or field)☆13Sep 11, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fork of the Systems Polynomial Optimization Toolbox.☆30Oct 22, 2018Updated 7 years ago
- ANN Search through the COVID CORD-19 Dataset using SBERT.☆26May 9, 2020Updated 6 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Feb 14, 2023Updated 3 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆36Nov 30, 2016Updated 9 years ago
- Segment Anything preprocessor for ControlNet inside Stable Diffusion WebUI☆16Jul 15, 2024Updated last year
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Aug 3, 2021Updated 4 years ago
- Easy to use BiLSTM+CRF sequence tagging for text. Original implementation by guillaumegenthial☆13Apr 12, 2019Updated 7 years ago
- A Python library designed for scraping data from the SCP wiki.☆16Oct 20, 2020Updated 5 years ago
- Creative Instructions Project☆11Sep 4, 2023Updated 2 years ago
- 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.
- ComfyUI-RealESRGAN_Upscaler☆23Feb 9, 2025Updated last year
- ☆15Feb 18, 2024Updated 2 years ago
- ☆14Aug 30, 2023Updated 2 years ago
- ☆12Nov 24, 2022Updated 3 years ago
- ☆16Mar 2, 2019Updated 7 years ago
- Kat’s next-generation LLM-powered package manager☆12Apr 1, 2025Updated last year
- A module for working with Console fonts in Windows☆13Jul 30, 2023Updated 2 years ago
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- Clip I/O extension for Stable Diffusion Web UI☆20Oct 21, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- The projects lets you extract glossary words and their definitions from a given piece of text automatically using NLP techniques☆29Jul 23, 2020Updated 5 years ago
- Advent of Code built with Redbean☆10Oct 27, 2023Updated 2 years ago
- A PAC file proxy `http.Agent` implementation for HTTP and HTTPS☆25Updated this week
- The source code of our ACL paper "A Training-free and Reference-free Summarization Evaluation Metric via Centrality-weighted Relevance an…☆14May 6, 2023Updated 3 years ago
- Frida plugin for Binary Ninja☆20Jan 12, 2025Updated last year
- ☆47Jan 24, 2026Updated 4 months ago
- This repository contains source code to binarize any real-value word embeddings into binary vectors.☆49Jan 7, 2021Updated 5 years ago