☆13May 17, 2021Updated 4 years ago
Alternatives and similar repositories for laf
Users that are interested in laf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Oct 1, 2024Updated last year
- Reasoning over weighted algebraic and logical constraints☆26Mar 12, 2026Updated 2 weeks ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- This repository implements a scaled-down LLaMA 2-like model on an ARM Cortex-M3 soft core, with a custom systolic array RTL module for ef…☆13Jun 25, 2025Updated 9 months ago
- A minigame from Opus Magnum ( web version)☆11Jul 14, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆19Jan 17, 2023Updated 3 years ago
- Arithmetic coding library with statistical models like PPM and Context mixing (demonstrating core principles of probabilistic inference, …☆19Oct 9, 2023Updated 2 years ago
- Rich Text to Markdown☆12Feb 11, 2016Updated 10 years ago
- A benchmark to test linguistic robustness.☆12Jun 28, 2021Updated 4 years ago
- Repository for the AAAI 2022 paper: Directed Graph Auto-Encoders☆21Feb 28, 2022Updated 4 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A native Cocoa xeyes app for macOS (Mac OS X)☆28Jan 29, 2022Updated 4 years ago
- Russian checkers game☆30Aug 27, 2023Updated 2 years ago
- QMIX implemented in TensorFlow 2☆17Jun 12, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Distinguishing Antonyms and Synonyms in a Pattern-based Neural Network☆16Feb 24, 2017Updated 9 years ago
- [ICLR 2025] SDTT: a simple and effective distillation method for discrete diffusion models☆47Feb 26, 2026Updated last month
- deep learning for math☆29May 4, 2019Updated 6 years ago
- A novel system that utilizes multiple symbolic music representations in addition to audio in order to improve ace on popular music.☆15Sep 11, 2024Updated last year
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 3 years ago
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 7 years ago
- This repository contains the code for the EMNLP'23 paper "AdaSent: Efficient Domain-Adapted Sentence Embeddings for Few-Shot Classificati…☆16Jun 3, 2024Updated last year
- The main entry point to the Polifonia Ontology Network☆16Dec 2, 2023Updated 2 years ago
- league/glide wrapper for Laravel☆10Jan 26, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Recursive Abstractive Processing for Tree-Organized Retrieval☆10May 30, 2024Updated last year
- An agent-based model for scientific inquiry based on abstract argumentation☆13Jan 17, 2022Updated 4 years ago
- ☆12Jul 21, 2021Updated 4 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- A python application to create and store linked open data via a friendly user interface.☆18Oct 18, 2023Updated 2 years ago
- Laravel Config with DB-storage support☆21Oct 15, 2018Updated 7 years ago
- A python package for surrogate models that interface with calibration and other tools☆14Jan 29, 2026Updated last month
- 80s FM video game music dataset (ISMIR 2022)☆27Jan 10, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Graph algorithms to merge two graphs based on stitching.☆12Oct 18, 2019Updated 6 years ago
- ☆14Mar 31, 2022Updated 3 years ago
- The SPARQL Anything Python library☆21Jun 23, 2025Updated 9 months ago
- Pytorch implementation of a simple way to enable (Stochastic) Frame Averaging for any network☆51Jul 26, 2024Updated last year
- Harmony, cadence, and phrase annotations for Mozart's 18 piano sonatas☆26Apr 28, 2025Updated 10 months ago
- ☆26Apr 12, 2018Updated 7 years ago
- ☆14Mar 2, 2023Updated 3 years ago