☆46Apr 29, 2025Updated last year
Alternatives and similar repositories for NL2FOL
Users that are interested in NL2FOL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiment on reimplementation of GRPO RL☆17Feb 7, 2025Updated last year
- Natural Environment Benchmarks for Reinforcement Learning☆23May 9, 2019Updated 7 years ago
- ☆13Oct 11, 2024Updated last year
- Learning to Retrieve by Trying - Source code for Grounding by Trying: LLMs with Reinforcement Learning-Enhanced Retrieval☆52Oct 31, 2024Updated last year
- ☆12Dec 9, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Jul 8, 2024Updated last year
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- ☆12Aug 9, 2020Updated 5 years ago
- Immutant adapter for Luminus☆10Sep 12, 2020Updated 5 years ago
- PDF Malware Parser☆21Jun 3, 2016Updated 9 years ago
- Adversarial detection and defense for deep learning systems using robust feature alignment☆17Nov 10, 2020Updated 5 years ago
- The standard template to create a lean game☆49Feb 20, 2026Updated 3 months ago
- ShellSpeak translates natural language to shell commands, simplifying system interactions for non-tech-savvy users. With color-coded UI, …☆12Nov 26, 2023Updated 2 years ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆92Updated this week
- 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.
- Yet another frontend for LLM, written using .NET and WinUI 3☆11Sep 14, 2025Updated 8 months ago
- A simple leiningen plugin for running clojure-based cucumber-jvm specifications.☆13Jul 26, 2016Updated 9 years ago
- Code release for the ICML 2019 paper "Are generative classifiers more robust to adversarial attacks?"☆24May 10, 2019Updated 7 years ago
- The library for symbolic interval☆23Jun 23, 2020Updated 5 years ago
- Adversarial Examples on KNN (and its neural network friends)☆19Mar 19, 2020Updated 6 years ago
- ☆22Mar 21, 2024Updated 2 years ago
- A ClojureScript REPL using Reagent and MDL☆14Jan 13, 2018Updated 8 years ago
- Programs generated by ChatGPT☆27Jul 19, 2023Updated 2 years ago
- ☆11Mar 11, 2023Updated 3 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.
- Code for "CloudLeak: Large-Scale Deep Learning Models Stealing Through Adversarial Examples" (NDSS 2020)☆22Nov 14, 2020Updated 5 years ago
- ☆13Feb 24, 2026Updated 3 months ago
- ☆27Nov 20, 2023Updated 2 years ago
- Rust SDK for S2, the durable streams API☆41Feb 16, 2026Updated 3 months ago
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- Setting the system time over HTTPS☆10Dec 12, 2023Updated 2 years ago
- Plan✕ is a platform for creating and publishing digital planning services☆18Updated this week
- A library for working with RDF with Jena in Clojure (http://clojars.org/seabass)☆29Jul 23, 2016Updated 9 years ago
- Convert standard 2D videos into stereoscopic 3D Side-by-Side format for VR viewing using deep learning☆42Mar 24, 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.
- A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.☆41Jun 11, 2025Updated 11 months ago
- 📢 Promotional website for https://github.com/BeeeQueue/yuna☆15Mar 21, 2024Updated 2 years ago
- Visualize the output of the unix lsof to see which files are open by which processes☆15Mar 2, 2025Updated last year
- Tool for integration testing apps built in the bevy game engine.☆12Mar 11, 2024Updated 2 years ago
- ☆33Oct 7, 2023Updated 2 years ago
- A simple tool find all potential risk in k8s☆10Jul 15, 2024Updated last year
- not infinite, but huge canvas collaborative vector drawing program☆13Oct 28, 2018Updated 7 years ago