Verification and optimization tool for concurrent code
☆27Jul 29, 2025Updated 7 months ago
Alternatives and similar repositories for vsyncer
Users that are interested in vsyncer are comparing it to the libraries listed below
Sorting:
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- racket llvm C-API bindings☆17Feb 7, 2026Updated last month
- Language experimentation.☆23Feb 11, 2026Updated 3 weeks ago
- Support for x86_64 specific instructions (e.g. TLB flush), registers (e.g. control registers), and structures (e.g. page tables)☆17Dec 1, 2022Updated 3 years ago
- A simple tool to explore a TrueType font content as a tree☆30Jan 4, 2022Updated 4 years ago
- Binary analysis in HOL☆46Feb 13, 2026Updated 3 weeks ago
- Golang library and cmd for flattening JSON and converting JSON to CSV.☆12Feb 15, 2026Updated 2 weeks ago
- 🌌 An experimental programming language.☆27Nov 7, 2023Updated 2 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆45Jan 24, 2026Updated last month
- ☆11Oct 25, 2024Updated last year
- Modding tools for Diablo 1 and DevilutionX!☆44Apr 17, 2025Updated 10 months ago
- ARMv7 architecture plugin☆40Mar 7, 2024Updated 2 years ago
- The WebRacket language is a subset of Racket that compiles to WebAssembly☆116Updated this week
- ☆12Mar 13, 2025Updated 11 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- An up-to-date Vulkan for Golang/Go☆16Sep 5, 2025Updated 6 months ago
- Unofficial beamer template for Pitt (University of Pittsburgh)☆11Mar 11, 2017Updated 8 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- Implementation of ChaCha20 for Cyclone V FPGA (DE10-nano) easily connectable to HPS (ARM processor)☆11Jul 29, 2020Updated 5 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Playing with type systems☆51Dec 29, 2024Updated last year
- Antonie is an integrated, robust, reliable and fast processor of DNA reads☆61May 19, 2019Updated 6 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Force `go get` to make shallow clone and pulls☆11May 3, 2018Updated 7 years ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- Formalization of the Rupert Problem for convex polyhedra.☆17Dec 15, 2025Updated 2 months ago
- A general slow DDR3 interface. Very little resource consumption. Suits for all FPGAs with 1.5V IO voltage.☆11Dec 14, 2022Updated 3 years ago
- Code generator for binary parsing☆19Feb 1, 2020Updated 6 years ago
- ☆11Nov 7, 2025Updated 3 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago