upendra1997's starred repositories

ImHex

๐Ÿ” A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:41187Issues:0Issues:0

cve-rs

Blazingly ๐Ÿ”ฅ fast ๐Ÿš€ memory vulnerabilities, written in 100% safe Rust. ๐Ÿฆ€

Language:RustLicense:NOASSERTIONStargazers:3739Issues:0Issues:0

pgrx

Build Postgres Extensions with Rust!

Language:RustLicense:NOASSERTIONStargazers:3433Issues:0Issues:0

couchdb

Seamless multi-master syncing database with an intuitive HTTP/JSON API, designed for reliability

Language:ErlangLicense:Apache-2.0Stargazers:6112Issues:0Issues:0

stellarium-web-engine

JavaScript planetarium engine

Language:CStargazers:409Issues:0Issues:0

remote-jobs

A list of semi to fully remote-friendly companies in tech.

Language:JavaScriptLicense:CC0-1.0Stargazers:8Issues:0Issues:0

eidos

Offline alternative to Notion. Eidos is an extensible framework for managing your personal data throughout your lifetime in one place.

Language:TypeScriptLicense:AGPL-3.0Stargazers:1556Issues:0Issues:0

firehose

Firehose is an extensible, no-code, and cloud-native service to load real-time streaming data from Kafka to data stores, data lakes, and analytical storage systems.

Language:JavaLicense:Apache-2.0Stargazers:317Issues:0Issues:0

notesnook

A fully open source & end-to-end encrypted note taking alternative to Evernote.

Language:TypeScriptLicense:GPL-3.0Stargazers:8999Issues:0Issues:0

trilium

Build your personal knowledge base with Trilium Notes

Language:JavaScriptLicense:AGPL-3.0Stargazers:26259Issues:0Issues:0

established-remote

A list of established remote companies

Stargazers:3Issues:0Issues:0

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

Language:VerilogLicense:ISCStargazers:2947Issues:0Issues:0

system-design-resources

These are the best resources for System Design on the Internet

License:GPL-3.0Stargazers:15170Issues:0Issues:0

truck

Truck is a Rust CAD Kernel.

Language:RustLicense:Apache-2.0Stargazers:910Issues:0Issues:0

unison

A friendly programming language from the future

Language:HaskellLicense:NOASSERTIONStargazers:5675Issues:0Issues:0

thingbuf

in-place allocation-reusing queues for Rust

Language:RustLicense:MITStargazers:271Issues:0Issues:0

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2051Issues:0Issues:0

embassy

Modern embedded framework, using Rust and async.

Language:RustLicense:Apache-2.0Stargazers:4871Issues:0Issues:0

meteor

Meteor is an easy-to-use, plugin-driven metadata collection framework to extract data from different sources and sink to any data catalog.

Language:GoLicense:Apache-2.0Stargazers:2Issues:0Issues:0

minijail

sandboxing and containment tool used in ChromeOS and Android

Language:CLicense:BSD-3-ClauseStargazers:251Issues:0Issues:0

firehose

Firehose is an extensible, no-code, and cloud-native service to load real-time streaming data from Kafka to data stores, data lakes, and analytical storage systems.

Language:JavaLicense:Apache-2.0Stargazers:2Issues:0Issues:0

Phi-Accrual-Detector

Pluggable Phi Accrual Detector Package for healthcheck of monitored processes

Language:RustStargazers:3Issues:0Issues:0

hasktorch

Tensors and neural networks in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:1044Issues:0Issues:0

ghc-grin

GRIN backend for GHC

Language:HaskellStargazers:142Issues:0Issues:0

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

Language:HaskellStargazers:116Issues:0Issues:0

duet

A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell

Language:HaskellLicense:NOASSERTIONStargazers:209Issues:0Issues:0

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

Language:HaskellLicense:MITStargazers:81Issues:0Issues:0

zkp

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Language:HaskellLicense:NOASSERTIONStargazers:90Issues:0Issues:0
Language:CSSLicense:NOASSERTIONStargazers:3421Issues:0Issues:0