REmatch C++ library
☆27Feb 27, 2026Updated this week
Alternatives and similar repositories for REmatch
Users that are interested in REmatch are comparing it to the libraries listed below
Sorting:
- Implementation of CORE in cpp☆12Updated this week
- ☆19Aug 19, 2021Updated 4 years ago
- ☆27Jun 17, 2022Updated 3 years ago
- Repositorio del curso Implementación de Sistemas de Bases de Datos☆18Jul 7, 2024Updated last year
- Repositorio donde se recopilan los templates creados por la comunidad OSUC☆60Jul 20, 2025Updated 7 months ago
- Curso Reconocimiento de Patrones - UC - Chile☆187Jun 17, 2025Updated 8 months ago
- ☆26Dec 19, 2021Updated 4 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Repositorio oficial para el proyecto del curso IIC2513, período 2021-2☆32Nov 27, 2021Updated 4 years ago
- Automatically load (Japanese) subtitles in MPV☆13Jan 13, 2026Updated last month
- Repositorio con material asociado al curso IIC2283 - Diseño y Análisis de Algoritmos para el año 2022☆37Dec 11, 2022Updated 3 years ago
- ☆10May 21, 2021Updated 4 years ago
- Repositorio oficial del curso IIC2233 Programación Avanzada 🎉🎊 2019-2☆40Dec 11, 2019Updated 6 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- ☆11Jan 21, 2025Updated last year
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- Repositorio público del curso Lógica para ciencia de la computación 2023-1☆49Jul 13, 2023Updated 2 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- Mecab, a Japanese morphological analyzer, built for JS with Emscripten☆17Oct 9, 2021Updated 4 years ago
- A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.☆12Mar 4, 2019Updated 7 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 5 months ago
- ☆14Apr 5, 2023Updated 2 years ago
- GML UC☆20Oct 20, 2025Updated 4 months ago
- Pytorch implementation of the MAC-Network☆12Jan 13, 2022Updated 4 years ago
- ☆23Aug 20, 2011Updated 14 years ago
- ☆47Jul 26, 2021Updated 4 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆22Feb 10, 2026Updated 3 weeks ago
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 8 years ago
- Repositorio para las ayudantías de Algoritmos Paralelos☆24Aug 6, 2025Updated 7 months ago
- Automata Benchmark Suite☆23Oct 23, 2023Updated 2 years ago
- User-contributed extensions to diagrams☆28Jun 19, 2025Updated 8 months ago
- SDL2 bindings for lean☆24Dec 27, 2025Updated 2 months ago
- ☆22Jul 5, 2022Updated 3 years ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Mar 8, 2024Updated last year
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆24Mar 7, 2019Updated 6 years ago
- Mapa para dar mayor accesibilidad a ubicación de salas, baños y puntos de interés en los distintos campus de la UC.☆28Updated this week
- A statically-typed compiled language defined by a simple grammar☆24Aug 28, 2022Updated 3 years ago