REmatchChile/REmatch external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

REmatchChile/REmatch

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/REmatchChile/REmatch)

Close

REmatchChile / REmatchView on GitHubMore

• External links
• Readme badge

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

• CORE-cer / CORE

  View on GitHub
  Implementation of CORE in cpp
  ☆12Updated this week
• IIC2213 / Syllabus-2021-1-

  View on GitHub
  ☆19Aug 19, 2021Updated 4 years ago
• IIC2213 / Syllabus-2022-1

  View on GitHub
  ☆27Jun 17, 2022Updated 3 years ago
• DiegoEmilio01 / IIC3413

  View on GitHub
  Repositorio del curso Implementación de Sistemas de Bases de Datos
  ☆18Jul 7, 2024Updated last year
• open-source-uc / latex-templates

  View on GitHub
  Repositorio donde se recopilan los templates creados por la comunidad OSUC
  ☆60Jul 20, 2025Updated 7 months ago
• domingomery / patrones

  View on GitHub
  Curso Reconocimiento de Patrones - UC - Chile
  ☆187Jun 17, 2025Updated 8 months ago
• IIC2433 / Syllabus-2021-2

  View on GitHub
  ☆26Dec 19, 2021Updated 4 years ago
• Stavan-Jain / linear_algebra_game

  View on GitHub
  Building the linear algebra game!
  ☆10Dec 2, 2024Updated last year
• IIC2513-2021-2 / project

  View on GitHub
  Repositorio oficial para el proyecto del curso IIC2513, período 2021-2
  ☆32Nov 27, 2021Updated 4 years ago
• nairyosangha / mpv-subversive

  View on GitHub
  Automatically load (Japanese) subtitles in MPV
  ☆13Jan 13, 2026Updated last month
• IIC2283 / DAA-2022-2

  View on GitHub
  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
• reactive-systems / RTLola

  View on GitHub
  ☆10May 21, 2021Updated 4 years ago
• IIC2233 / syllabus-2019-2

  View on GitHub
  Repositorio oficial del curso IIC2233 Programación Avanzada 🎉🎊 2019-2
  ☆40Dec 11, 2019Updated 6 years ago
• tlringer / proof-chat-fun

  View on GitHub
  playing with gpt4
  ☆14Mar 17, 2023Updated 2 years ago
• stlmc / stlmc

  View on GitHub
  ☆11Jan 21, 2025Updated last year
• avigad / formal_methods_in_education

  View on GitHub
  A web page with resources for teaching with formal methods and tools.
  ☆14Apr 8, 2023Updated 2 years ago
• IIC2213-PUC / IIC2213-2023-1

  View on GitHub
  Repositorio público del curso Lógica para ciencia de la computación 2023-1
  ☆49Jul 13, 2023Updated 2 years ago
• berenoguz / Math

  View on GitHub
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Jan 3, 2018Updated 8 years ago
• itayperl / mecab-wasm

  View on GitHub
  Mecab, a Japanese morphological analyzer, built for JS with Emscripten
  ☆17Oct 9, 2021Updated 4 years ago
• aitorres / rockstar-lexer

  View on GitHub
  A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.
  ☆12Mar 4, 2019Updated 7 years ago
• katydid / regex-deriv-lean

  View on GitHub
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆18Sep 17, 2025Updated 5 months ago
• wilcoxjay / notes

  View on GitHub
  ☆14Apr 5, 2023Updated 2 years ago
• marcelomendoza / IIC3641

  View on GitHub
  GML UC
  ☆20Oct 20, 2025Updated 4 months ago
• tohinz / pytorch-mac-network

  View on GitHub
  Pytorch implementation of the MAC-Network
  ☆12Jan 13, 2022Updated 4 years ago
• andreasdotorg / pdfparser

  View on GitHub
  ☆23Aug 20, 2011Updated 14 years ago
• IIC2143-2021-1 / Syllabus

  View on GitHub
  ☆47Jul 26, 2021Updated 4 years ago
• bgamari / the-thoralf-plugin

  View on GitHub
  This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
  ☆21Jan 31, 2022Updated 4 years ago
• LindenRegex / RegElk

  View on GitHub
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆22Feb 10, 2026Updated 3 weeks ago
• deepakjois / blaze-svg

  View on GitHub
  SVG Combinators for Haskell
  ☆23Jun 28, 2017Updated 8 years ago
• ShescBlank / IMT2112

  View on GitHub
  Repositorio para las ayudantías de Algoritmos Paralelos
  ☆24Aug 6, 2025Updated 7 months ago
• tjt7a / AutomataZoo

  View on GitHub
  Automata Benchmark Suite
  ☆23Oct 23, 2023Updated 2 years ago
• diagrams / diagrams-contrib

  View on GitHub
  User-contributed extensions to diagrams
  ☆28Jun 19, 2025Updated 8 months ago
• Anderssorby / SDL.lean

  View on GitHub
  SDL2 bindings for lean
  ☆24Dec 27, 2025Updated 2 months ago
• IIC2433 / Syllabus-2022-1

  View on GitHub
  ☆22Jul 5, 2022Updated 3 years ago
• havelund / dejavu

  View on GitHub
  The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
  ☆19Mar 8, 2024Updated last year
• koehlma / momba

  View on GitHub
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Aug 3, 2024Updated last year
• openformal / sva_basics

  View on GitHub
  This repository is compilation of basics of System Verilog Assertions in context of formal verification
  ☆24Mar 7, 2019Updated 6 years ago
• open-source-uc / UbiCate-v2

  View on GitHub
  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
• iwillspeak / ullage

  View on GitHub
  A statically-typed compiled language defined by a simple grammar
  ☆24Aug 28, 2022Updated 3 years ago