Pinned Repositories
async-std
Async version of the Rust standard library
azure-docs-cli
Repository used to store content for the docs.microsoft.com content for the Azure CLI
boa
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language.
camelcase
Convert a dash/dot/underscore/space separated string to camelCase: foo-bar → fooBar
check-syscalls
chocopy-wasm-compiler
cli-truncate
Truncate a string to a specific width in the terminal
cns-rootkit
plc
A C implementation of a Pure Lambda Calculus interpreter
abhishekc-sharma's Repositories
abhishekc-sharma/plc
A C implementation of a Pure Lambda Calculus interpreter
abhishekc-sharma/async-std
Async version of the Rust standard library
abhishekc-sharma/azure-docs-cli
Repository used to store content for the docs.microsoft.com content for the Azure CLI
abhishekc-sharma/boa
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language.
abhishekc-sharma/check-syscalls
abhishekc-sharma/chocopy-wasm-compiler
abhishekc-sharma/cns-rootkit
abhishekc-sharma/ConcreteSemantics
abhishekc-sharma/contributors
Contributors to the Ockam Open Source projects
abhishekc-sharma/coreutils
Cross-platform Rust rewrite of the GNU coreutils
abhishekc-sharma/CPaaS
abhishekc-sharma/CPaaS-server
abhishekc-sharma/CSES
Solutions to the CSES Problem Set
abhishekc-sharma/DcIDiA
abhishekc-sharma/eat-a-chip8
abhishekc-sharma/go-jose
An implementation of JOSE standards (JWE, JWS, JWT) in Go
abhishekc-sharma/HotelBooking
abhishekc-sharma/http-types
Common types for HTTP operations
abhishekc-sharma/luna-book
Luna book
abhishekc-sharma/mal
mal - Make a Lisp
abhishekc-sharma/onefetch
Git repository summary on your terminal
abhishekc-sharma/piper
Async pipes, channels, mutexes, and more
abhishekc-sharma/PooledActiveObject
abhishekc-sharma/portgasd666.github.io
abhishekc-sharma/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
abhishekc-sharma/uae
Interpreter in C for simple un-typed language with numbers and booleans
abhishekc-sharma/ucsd-cse231-s22-pa1
abhishekc-sharma/ucsd-cse231-s22-pa2
abhishekc-sharma/ucsd-fa21-cse227
abhishekc-sharma/z3.rs
Rust bindings for the Z3 solver.