📐 Just-in-time logic enforcement for network data generation with LLMs
☆19May 9, 2026Updated 2 months ago
Alternatives and similar repositories for LeJIT
Users that are interested in LeJIT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 📏 Logic rule learning for computer networking☆26May 9, 2026Updated 2 months ago
- [Usenix Security '25] Robustifying ML-powered Network Classifiers with PANTS☆23Aug 16, 2025Updated 10 months ago
- Allows users to quickly search highlighted items on Wikipedia. Inspired by the "search Wikipedia" function on the kindle mobile app.☆18Aug 10, 2022Updated 3 years ago
- 凵 Full-system, queuing simulator for serverless workflows.☆26Aug 1, 2023Updated 2 years ago
- A repository of all available problems of the US National Chemistry Olympiad put together via Apache PDFBox and Java☆14Dec 16, 2021Updated 4 years 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.
- [ICLR 2025] On Evluating the Durability of Safegurads for Open-Weight LLMs☆13Jun 20, 2025Updated last year
- Can you write a shorter Javascript version of Conway's game of life?☆16May 27, 2020Updated 6 years ago
- ☆14Jul 26, 2021Updated 4 years ago
- 🔋🎯 Thread-level, NUMA-aware energy attribution model for multi-tenancy☆57Jul 13, 2023Updated 3 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- Convert regex(es) to dfa.☆14Apr 30, 2021Updated 5 years ago
- Cost-aware network traffic analysis☆13Dec 20, 2023Updated 2 years ago
- Four-year course planner for Princeton University students☆18Jun 20, 2026Updated 3 weeks ago
- A Windows desktop application which is able to parse and reorganize subtitle files (.ass .srt .ssa .sup). My original purpose was to mak…☆10Jan 6, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- This is an implementation of the paper: "Deep learning to detect botnet via network flow summaries" using Keras.☆11Mar 30, 2020Updated 6 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- Bot to enforce a single language in a Telegram group chat.☆16Jul 21, 2025Updated 11 months ago
- Educational bot that posts a tiny flower bed on Twitter every few hours. Check it out if you're new to Python and open source!☆12Nov 15, 2020Updated 5 years ago
- Documenting large text datasets 🖼️ 📚☆14Dec 17, 2024Updated last year
- ☆11Jun 20, 2022Updated 4 years ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 7 years ago
- W&B Artifacts examples☆12Feb 2, 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.
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- ☆16Jun 25, 2026Updated 2 weeks ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- ☆23Apr 28, 2022Updated 4 years ago
- Frontend: React + Vite + TS; Backend: Python Flask☆19Nov 7, 2024Updated last year
- 📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …☆16Oct 13, 2022Updated 3 years ago
- Decoding behavior from calcium imaging data☆15Jun 18, 2020Updated 6 years ago
- A SystemVerilog implementation of MIPS32 CPU and RIP router☆22Jan 12, 2020Updated 6 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.
- High-Fidelity Synthetic Network Traffic Generation☆84Sep 20, 2025Updated 9 months ago
- Swarts Lab CNN stuff☆14Jul 2, 2026Updated last week
- [NeurIPS 2024 D&B] Evaluating Copyright Takedown Methods for Language Models☆17Jul 17, 2024Updated last year
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- 🌮 Table-based KB Completer☆16Mar 13, 2024Updated 2 years ago
- Starter code for semester project in Cloud Computing Architecture course at ETH Zurich☆13Mar 23, 2026Updated 3 months ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago