Shreyas-21's Stars
ocaml-wasm/wasm_of_ocaml
ocaml-flambda/flambda-backend
The Flambda backend project for OCaml
dipeshkaphle/caml_bench
Simple benchmarking library for OCaml with mechanism to pause timer and comparison with previous execution times
dafny-lang/dafny
Dafny is a verification-aware programming language
ocaml-multicore/par_incr
Parallel version of incremental library
google/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
decompiler-explorer/decompiler-explorer
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
tuhdo/os01
Bootstrap yourself to write an OS from scratch. A book for self-learner.
CompVis/stable-diffusion
A latent text-to-image diffusion model
dipeshkaphle/lru_cache
Python like lru_cache in C++ for caching of function calls
yhzhang0128/egos-2000
Envision a future where every student can read all the code of a teaching operating system.
dipeshkaphle/cpparsec
Parser combinator in C++
mTvare6/hello-world.rs
🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1092🚀) dependencies🚀
google/tweakr
A Library for Remote Debugging, Autogenerating Settings/Preference UIs, and Wizard-of-Ozing
DulLabs/bhai-lang
A toy programming language written in Typescript
anirudhvs/pragyan-ctf-22
Challenges and writeup for Pragyan CTF '22
curl/curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
delta/cycle-lock-app
App for the NITT Bluetooth Cycle Lock Project
cfenollosa/os-tutorial
How to create an OS from scratch
iced-rs/iced
A cross-platform GUI library for Rust, inspired by Elm
remzi-arpacidusseau/ostep-code
Code from various chapters in OSTEP (http://www.ostep.org)
Gigantua/Gigantua
Gigantua: Single Threaded - 2 Billion Moves/s Chess position enumerator
ShahjalalShohag/code-library
Templates, algorithms and data structures implemented and collected for programming contests.
aimacode/aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
dipeshkaphle/delta_induction_ctf
MycroftAI/mycroft-core
Mycroft Core, the Mycroft Artificial Intelligence platform.
unikraft/unikraft
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
deislabs/mystikos
Tools and runtime for launching unmodified container images in Trusted Execution Environments
PriyanshuDangi/1inch-compare
Winner of 1inch bounty at EtherPunk 21.