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 9 months ago
- Minimal CLI to mirror hyperdrives in memory + webrtc☆12Feb 17, 2019Updated 7 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- multicast file synchronization system☆26Dec 11, 2014Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- A simple statistics library that draws inspiration from python☆31Aug 24, 2020Updated 5 years ago
- Parse torrent names for metadata☆19Apr 15, 2023Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- 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
- LLVM-jitted bitmaps☆27Apr 23, 2020Updated 5 years ago
- /g/ programming language☆13Nov 9, 2011Updated 14 years ago
- Autonomous self-replicating code☆27Jul 16, 2020Updated 5 years ago
- Web application for the simulation of day-ahead energy markets☆11Jul 9, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Python Von Mises Kernel Density Estimator implementation☆11Jun 15, 2017Updated 8 years ago
- A fully functional Convolutional VAE implemented in pure C from scratch.☆23Jan 19, 2026Updated 2 months ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Dec 14, 2016Updated 9 years ago
- ☆12Oct 14, 2025Updated 5 months 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
- Backtrace.io's resilient log record framing format☆39Feb 5, 2022Updated 4 years ago
- Termux native glibc environment for samsung xclipse GPU☆12Jun 24, 2025Updated 9 months ago
- texrex web page cleaning & ClaraX random walk crawler☆11Dec 13, 2021Updated 4 years ago
- A compiler for Pseudocode written in python☆14Apr 30, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Reusable building blocks for Buck build system. Please upload patches to this Gerrit project https://gerrit-review.googlesource.com/#/adm…☆23Oct 30, 2016Updated 9 years ago
- a lock-less thread pool for C99☆44Jan 11, 2015Updated 11 years ago
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 5 years ago
- HyperBitBit☆135Mar 21, 2017Updated 9 years ago
- A simple Stock Market simulator for Java and Android☆18Feb 18, 2019Updated 7 years ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 9 years ago
- Tiny Cooperative Process Management Library/Embedded Bounded Queue Actor Model (C11)☆39Nov 7, 2018Updated 7 years ago
- .NET Library for parsing MS-NRBF streams☆18Apr 29, 2024Updated last year
- takes shellcode bad-bytes and banishes them, returning cleaned shellcode with preserved functionalities☆62Mar 1, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- ☆18May 23, 2018Updated 7 years ago
- Tensorflow implementation of "Tracking the World State with Recurrent Entity Networks" [https://arxiv.org/abs/1612.03969] by Henaff, West…☆57Mar 8, 2017Updated 9 years ago
- Cumulative Distribution Transform☆16Sep 28, 2017Updated 8 years ago
- ☆17Jul 14, 2019Updated 6 years ago
- You can't do that! Can you?☆22Dec 2, 2016Updated 9 years ago
- Robust parser + AST for the java language.☆71Dec 16, 2015Updated 10 years ago