Repositório para o material das palestras do 11° encontro
☆10Apr 2, 2015Updated 10 years ago
Alternatives and similar repositories for encontro11
Users that are interested in encontro11 are comparing it to the libraries listed below
Sorting:
- extreme throughput http daemon☆61Jun 3, 2015Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Platform-agnostic Rust driver for the VEML6030 and VEML7700 high-accuracy ambient light sensors.☆10Jun 27, 2025Updated 8 months ago
- A snake game for Lego EV3 running ev3dev firmware.☆11Feb 12, 2017Updated 9 years ago
- BeerJS: Rio de Janeiro, Brazil☆10Jan 4, 2017Updated 9 years ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- ☆10Aug 14, 2014Updated 11 years ago
- Unofficial Linux client for the Blokada-VPN-service☆10Aug 26, 2022Updated 3 years ago
- Samsung Galaxy Note 4 - N910C/H Device tree☆11Jan 1, 2023Updated 3 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Super Awesome CMake Structure for C++ Projects For Windows, Linux, & Mac.☆14Dec 31, 2021Updated 4 years ago
- ☆10May 29, 2018Updated 7 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A Free-Software JavaScript Library made by people for the people!☆10Aug 1, 2020Updated 5 years ago
- Mysodexo Python client☆11Sep 4, 2025Updated 6 months ago
- The collection of scripts and tools for running aria2c as a service for local install☆14Apr 4, 2014Updated 11 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Docker image for flutter projects using flutter_wrapper☆10Oct 25, 2024Updated last year
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- A Virtual Librarian to help you manage your books.☆11Sep 7, 2018Updated 7 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- Syntax highlighting for Docvim comments☆11Jan 24, 2025Updated last year
- Grunt Plugin for Docular☆44Dec 19, 2014Updated 11 years ago
- old DIE☆11Oct 1, 2014Updated 11 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- A tool with the intend to help installing the amazing Arch Linux distribution☆14Jul 2, 2018Updated 7 years ago
- ☆14Dec 3, 2020Updated 5 years ago
- Repositório para compartilhar as que temos em aberto.☆11Sep 27, 2021Updated 4 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- Aulas sobre VIM criadas por Cartola e Hugo.☆12Dec 5, 2014Updated 11 years ago
- A plugin that enhances tmux search☆11Oct 23, 2017Updated 8 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Extremely accurate algorithm used to group DNA sequences from microbial communities into operational taxonomic units (proxy for species) …☆14Nov 20, 2018Updated 7 years ago