TechnionYP5777 / UpAndGo
UpAndGo
☆16Updated last year
Alternatives and similar repositories for UpAndGo:
Users that are interested in UpAndGo are comparing it to the libraries listed below
- Download videos from Technion servers like a boss☆8Updated 6 years ago
- A scheduling helper web application for Technion students☆54Updated this week
- Brainfuck Interpreter in Java/Groovy, with a Groovy DSL☆42Updated 7 months ago
- A novel adaptive sorting algorithm☆173Updated 2 years ago
- ChavaScript language transpiler☆262Updated 3 years ago
- Meta-repository for SnipPy☆15Updated 3 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆23Updated this week
- A draft design document / RFC describing the plan for incremental and "on-demand"☆13Updated 7 years ago
- A simple event-driven library for parsing WebAssembly binary files☆179Updated 4 years ago
- A repo for a Program and Data Representation university-level course☆38Updated 6 years ago
- Israel's Ministry of Health's COVID-19 Exposure Prevention App☆510Updated 2 years ago
- ☆12Updated last year
- garbage collection☆321Updated 5 years ago
- Reversible programming language☆12Updated 5 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Proposal to add multi-values to WebAssembly☆71Updated 3 years ago
- A Chrome extension that automatically adds viewed academic papers to your favorites.☆16Updated 6 years ago
- ☆12Updated 3 years ago
- React jewish datepicker☆48Updated this week
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Personal scripts for https://www.tampermonkey.net/scripts.php☆11Updated 3 months ago
- Protesting during pandemic times☆59Updated 3 years ago
- Experimental minisat SAT solver reimplementation in Rust☆71Updated 5 years ago
- A bot that monitors recent suggested edits on Stack Overflow and posts an alert in a chatroom when it comes across a suspicious edit (det…☆10Updated 4 years ago
- Detailed experiments over simdjson for VLDB article (2019) and future work☆21Updated 4 years ago
- A curated list of Israeli-made projects, events, and individuals☆385Updated 3 months ago
- ☆93Updated last year
- Random Number Generator based on hardware-accelerated AES instructions☆57Updated 5 years ago
- Extension for a LSIF Server☆77Updated last week