code of RE
☆11Jun 8, 2018Updated 7 years ago
Alternatives and similar repositories for RE_TO_DFA
Users that are interested in RE_TO_DFA are comparing it to the libraries listed below
Sorting:
- SPPU (INFORMATION TECHNOLOGY CODE)☆11Aug 15, 2017Updated 8 years ago
- About Lex☆21Nov 14, 2018Updated 7 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- ☆11Aug 5, 2020Updated 5 years ago
- Online Comment Toxicity Analysis using averaging the Classifiers and used both char level as well as word level n-grams.☆10Mar 31, 2018Updated 7 years ago
- Collection of Algorithms and DataStructures written by me for reference and learning purposes. ✔☆11Apr 21, 2023Updated 2 years ago
- The EM Algorithm for Gaussian Mixtures (高斯混合模型的EM算法实现)☆12Dec 30, 2018Updated 7 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- ☆12Nov 8, 2024Updated last year
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Parallel implementations of Bellman-Ford algorithm with MPI, OpenMP and CUDA.☆11Sep 25, 2018Updated 7 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆13Mar 18, 2025Updated 11 months ago
- This is a note app in which there is a custom keyboard with canva thing.☆12Oct 31, 2024Updated last year
- ☆11Apr 12, 2021Updated 4 years ago
- Source code for XPGraph-MICRO22☆12Apr 10, 2023Updated 2 years ago
- ☆13Jun 12, 2024Updated last year
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 5 years ago
- Wireguard administration HTTP API and web based panel☆14Mar 19, 2024Updated last year
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.☆12Apr 25, 2024Updated last year
- [Natural Language Processing] Using NLTK-3 and Sklearn to train different machine learning classifiers and then using an average system t…☆11Mar 27, 2017Updated 8 years ago
- Source code of paper "Probabilistic Profiling of Stateful Data Planes for Adversarial Testing"☆12Apr 19, 2021Updated 4 years ago
- ☆11Oct 26, 2015Updated 10 years ago
- ☆11Sep 15, 2024Updated last year
- Spark* Shuffle plugin for support shuffling through remote persistent memory over fabrics, which leverages the RDMA network and remote pe…☆14Sep 18, 2023Updated 2 years ago
- ☆10Nov 25, 2023Updated 2 years ago
- facedetection flutter .mlkit☆12Jul 4, 2019Updated 6 years ago
- ☆10Mar 31, 2022Updated 3 years ago
- A CUDA-based multi-GPU vertex-centric graph processing framework based on Warp Segmentation and Vertex Refinement techniques.☆12Mar 20, 2017Updated 8 years ago
- ☆11Jun 14, 2024Updated last year
- Play a sequence of full-page Svelte components in an interval to create your own reels!☆12Jan 15, 2023Updated 3 years ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆17Jul 14, 2022Updated 3 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 years ago
- Some paper lists related to storage system☆15Sep 8, 2021Updated 4 years ago
- [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning☆14Jan 14, 2020Updated 6 years ago