An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
☆107Jul 22, 2024Updated 2 years ago
Alternatives and similar repositories for superhero-network
Users that are interested in superhero-network are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- haha I'm graduating☆14Jul 22, 2021Updated 5 years ago
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- Easy SMT solver interaction☆36Feb 3, 2026Updated 6 months ago
- Bindings to the various POSIX APIs☆29Mar 8, 2026Updated 5 months 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.
- ☆16Feb 20, 2019Updated 7 years ago
- µTune: Auto-Tuned Threading for OLDI Microservices☆14Oct 8, 2018Updated 7 years ago
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- OCaml bindings to kqueue☆21Feb 20, 2026Updated 5 months ago
- OCaml bindings to libuv -- Cross-platform asychronous I/O☆18Jan 12, 2015Updated 11 years ago
- Code for the ISCAS23 paper "The Hardware Impact of Quantization and Pruning for Weights in Spiking Neural Networks"☆11Apr 20, 2023Updated 3 years ago
- A simple implementation of Discrete Interval Encoding Trees☆29Apr 16, 2022Updated 4 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Jan 10, 2023Updated 3 years ago
- Ocaml library to control Firmata boards like Arduino☆20Oct 24, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- Independent vote verification tool for IVXV protocol of Estonia's Internet Voting (2015 onwards)☆11Nov 5, 2025Updated 9 months ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- File mapping☆12Dec 14, 2023Updated 2 years ago
- REAPR (Reconfigurable Engine for Automata Processing) is a general-purpose framework for accelerating automata processing applications su…☆16Jun 29, 2019Updated 7 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- ☆44Jun 28, 2025Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- Hopscotch: A benchmark suite for memory performance evaluation☆15Apr 8, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple C wrapper library, for generating PostScript files.☆12Oct 24, 2020Updated 5 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆55Jul 17, 2024Updated 2 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Jun 27, 2022Updated 4 years ago
- An Excel formula parser☆12Mar 3, 2019Updated 7 years ago
- ☆23Mar 29, 2021Updated 5 years ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆50Aug 21, 2025Updated 11 months ago
- Simulation code for the LHD cache replacement policy as published in NSDI 2018.☆25Jul 23, 2018Updated 8 years ago
- Automata Benchmark Suite☆23Oct 23, 2023Updated 2 years ago
- Ocaml binding generator for vulkan☆48Aug 12, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Women in Programming Languages and Software Engineering Research☆175Jun 11, 2026Updated 2 months ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Old Clowdr versions 1 & 2 from 2020☆38Jan 6, 2021Updated 5 years ago
- NATed networking on MacOS X using the vmnet framework☆18May 31, 2025Updated last year
- A binary instrumentation tool to analyze load instructions in any off-the-shelf x86(-64) program. Described by Bera et al. in https://arx…☆24Jun 30, 2024Updated 2 years ago
- A brief overview of the main CI services☆16Aug 1, 2025Updated last year