danfragoso

danfragoso's Stars

• pocketbase/pocketbase

  Open Source realtime backend in 1 file

  Language:Go42.5k2361.6k2k

• cockroachdb/cockroach

  CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

  Language:Go30.3k68968.6k3.8k

• typesense/typesense

  Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences

  Language:C++21.6k1301.5k670

• webview/webview

  Tiny cross-platform webview library for C/C++. Uses WebKit (GTK/Cocoa) and Edge WebView2 (Windows).

  Language:C++12.8k220763960

• u-root/u-root

  A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.

  Language:Go2.6k96579406

• skift-org/skift

  🥑 A modern delightful operating system

  Language:C++2.4k68183131

• itsmattkc/dotnet9x

  Backport of .NET 2.0 - 3.5 to Windows 9x

  Language:NSIS2.3k4826152

• iaddis/metalnes

  Transistor level NES simulation

  Language:JavaScript1.8k62537

• Cybereason/Logout4Shell

  Use Log4Shell vulnerability to vaccinate a victim server against Log4Shell

  Language:Java1.7k2514111

• oxfeeefeee/goscript

  An alternative implementation of Golang specs, written in Rust for embedding or wrapping.

  Language:Rust1.5k171262

• joeycastillo/Sensor-Watch

  A board replacement for the classic Casio F-91W wristwatch

  Language:C1.3k4298253

• skvadrik/re2c

  Lexer generator for C, C++, D, Go, Haskell, Java, JS, OCaml, Python, Rust, V and Zig.

  Language:C1.1k35353175

• akatsuki105/worldwide

  This is my OLD and BAD GameBoy Emulator, please visit DawnGB, my new GameBoy emulator!

  Language:Go59792327

• sgayou/subaru-starlink-research

  Subaru StarLink persistent root code execution.

  55929268

• TrevorAttema/OTGMessenger

  Off The Grid Messenger

  Language:C51718021

• msm8916-mainline/lk2nd

  Custom bootloader for Qualcomm MSM8916/MSM8226/MSM8974/... devices

  Language:C40721101341

• vito/bass

  a low fidelity scripting language for project infrastructure

  Language:Go38598413

• vlang/vox-browser

  Upcoming browser written from scratch in V UI

  24751128

• Igalia/balena-wpe

  A Balena project based on WebKit WPE (balena-browser-wpe)

  Language:Shell1724136

• celsobonutti/type-theory-and-formal-proof

  Formalizing and solving exercises form the book Type Theory and Formal Proof

  Language:Agda7200

• joshuapassos/csv-typelevel-ts

  7200

• celsobonutti/agda-webserver

  A POC of a HTTP server in Agda

  Language:Agda5200

• celsobonutti/vite-template-rescript-tea

  Vite + ReScript TEA template

  Language:ReScript4300

• celsobonutti/macos-dotfiles

  my dotfiles for mac~

  Language:Emacs Lisp3300

• celsobonutti/pamonha

  A SQLite clone written in Rust

  Language:Rust3300

• decoesp/KeyValeu_DataBase

  Project for rust studies where I'm creating a Key and Value Database

  Language:Rust32

• joshuapassos/2048-typelevel-ts

  Language:TypeScript3100

• Cardoso222/tzclock

  The Ultimate MacOS App for Effortless Time Zone Management! Create and Customize Clocks with Ease, Stay Connected Globally.

  Language:Swift2111

• corasan/eas-env

  Create .env.local file based on eas.json profile environment variables

  Language:Rust2100

• celsobonutti/mpm

  a package manager for milho

  Language:Racket130