One part of my "this-is-why-we-cant-have-nice-thing" series
☆12Dec 13, 2016Updated 9 years ago
Alternatives and similar repositories for correctunwind
Users that are interested in correctunwind are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple out-of-process invoker☆19Jun 25, 2025Updated last year
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 12 years ago
- Thoth is a Manta-based system for core and crash dump management☆18Mar 27, 2026Updated 5 months ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- Web application for the simulation of day-ahead energy markets☆11Jul 9, 2017Updated 9 years ago
- Python Von Mises Kernel Density Estimator implementation☆11Jun 15, 2017Updated 9 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Dec 14, 2016Updated 9 years ago
- Let's build a completely self-hosting Lua compiler from scratch (that means regex, lexer, parser, bytecode, the whole nine yards!)☆12Dec 2, 2015Updated 10 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- ☆12Mar 31, 2021Updated 5 years ago
- multicast file synchronization system☆26Dec 11, 2014Updated 11 years ago
- Backtrace.io's resilient log record framing format☆41Feb 5, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Backup your Cassandra SSTables to S3☆13Oct 9, 2011Updated 14 years ago
- A utility for creating terse Redux reducers.☆10Sep 14, 2017Updated 8 years ago
- Simple proof of concept application that lets us upload shader blobs and run them on the mali kernel drivers for Android☆17Mar 12, 2018Updated 8 years ago
- My solutions to Data Structures and Algorithms in Python by Michael T. Goodrich, Roberto Tamassia, and Michael H. Goldwasser☆12Aug 25, 2024Updated 2 years ago
- A collection of bypasses and exploits for eBPF-based cloud security.☆32Jan 12, 2024Updated 2 years ago
- Solving Elementary Longest/Shortest Path problems with Integer Programming☆14Mar 8, 2017Updated 9 years ago
- A compiler for Pseudocode written in python☆14Apr 30, 2019Updated 7 years ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆19Apr 1, 2026Updated 5 months ago
- a lock-less thread pool for C99☆45Jan 11, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Mozilla Symbol Server☆38Updated this week
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 6 years ago
- Tiny Cooperative Process Management Library/Embedded Bounded Queue Actor Model (C11)☆39Nov 7, 2018Updated 7 years ago
- http://jamesgolick.com/2009/12/16/introducing-friendly-nosql-with-mysql-in-ruby.html☆17Dec 4, 2014Updated 11 years ago
- .NET Library for parsing MS-NRBF streams☆18Apr 29, 2024Updated 2 years ago
- Simple event-based publish-subscribe library☆18May 8, 2021Updated 5 years ago
- VirtualArena is an Object-Oriented Matlab Toolkit for Control Design and System Simulation.☆15Nov 27, 2018Updated 7 years ago
- A public-domain OS aimed at being a Plan 9-like OS.☆19May 4, 2025Updated last year
- Automated scalable crash bucketing☆15Oct 2, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Short essays on selected aspects of Lua, including LuaTeX. Text files are mainly written in Pandoc's extended markdown for easy conversio…☆51Nov 1, 2018Updated 7 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 9 years ago
- Cumulative Distribution Transform☆16Sep 28, 2017Updated 8 years ago
- ☆18May 23, 2018Updated 8 years ago
- ☆14Aug 10, 2023Updated 3 years ago
- Robust parser + AST for the java language.☆71Dec 16, 2015Updated 10 years ago
- Search for a torrent from the command-line and start streaming☆43Sep 19, 2017Updated 8 years ago