Shreyas-21

Shreyas-21's Stars

• ocaml-wasm/wasm_of_ocaml

  Language:OCaml2298

• ocaml-flambda/flambda-backend

  The Flambda backend project for OCaml

  Language:OCaml9872

• dipeshkaphle/caml_bench

  Simple benchmarking library for OCaml with mechanism to pause timer and comparison with previous execution times

  Language:OCaml1

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k255

• ocaml-multicore/par_incr

  Parallel version of incremental library

  Language:OCaml19

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust27.3k1.6k

• decompiler-explorer/decompiler-explorer

  Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!

  Language:Python2.1k125

• tuhdo/os01

  Bootstrap yourself to write an OS from scratch. A book for self-learner.

  Language:TeX11.8k689

• CompVis/stable-diffusion

  A latent text-to-image diffusion model

  Language:Jupyter Notebook67.2k10k

• dipeshkaphle/lru_cache

  Python like lru_cache in C++ for caching of function calls

  Language:C++1

• yhzhang0128/egos-2000

  Envision a future where every student can read all the code of a teaching operating system.

  Language:C2.2k153

• dipeshkaphle/cpparsec

  Parser combinator in C++

  Language:C++6

• 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🚀

  Language:Rust3.2k1

• google/tweakr

  A Library for Remote Debugging, Autogenerating Settings/Preference UIs, and Wizard-of-Ozing

  Language:JavaScript218

• DulLabs/bhai-lang

  A toy programming language written in Typescript

  Language:TypeScript4k497

• anirudhvs/pragyan-ctf-22

  Challenges and writeup for Pragyan CTF '22

  Language:HTML175

• 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

  Language:C35.2k6.3k

• delta/cycle-lock-app

  App for the NITT Bluetooth Cycle Lock Project

  Language:Dart64

• cfenollosa/os-tutorial

  How to create an OS from scratch

  Language:C26.9k3.3k

• iced-rs/iced

  A cross-platform GUI library for Rust, inspired by Elm

  Language:Rust24k1.1k

• remzi-arpacidusseau/ostep-code

  Code from various chapters in OSTEP (http://www.ostep.org)

  Language:C3.3k1.3k

• Gigantua/Gigantua

  Gigantua: Single Threaded - 2 Billion Moves/s Chess position enumerator

  Language:C++11415

• ShahjalalShohag/code-library

  Templates, algorithms and data structures implemented and collected for programming contests.

  Language:C++2.8k742

• aimacode/aima-python

  Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

  Language:Jupyter Notebook7.9k3.7k

• dipeshkaphle/delta_induction_ctf

  Language:HTML6

• MycroftAI/mycroft-core

  Mycroft Core, the Mycroft Artificial Intelligence platform.

  Language:Python6.5k1.3k

• unikraft/unikraft

  A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

  Language:C2.5k1.5k

• deislabs/mystikos

  Tools and runtime for launching unmodified container images in Trusted Execution Environments

  Language:C14049

• PriyanshuDangi/1inch-compare

  Winner of 1inch bounty at EtherPunk 21.

  Language:JavaScript42