stefannovasky

stefannovasky's Stars

• supabase-community/postgrest-csharp

  A C# Client library for Postgrest

  Language:C#13326

• renlabs-dev/torus-substrate

  The Torus Blockchain implementation.

  Language:Rust7

• btcpayserver/btcpayserver

  Accept Bitcoin payments. Free, open-source & self-hosted, Bitcoin payment processor.

  Language:C#6.5k1.7k

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.6k72

• supabase-community/supabase-csharp

  A C# Client library for Supabase

  Language:C#51552

• moonbitlang/moonbit-compiler

  Language:OCaml49627

• tursodatabase/limbo

  Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

  Language:Rust8.5k279

• borgo-lang/borgo

  Borgo is a statically typed language that compiles to Go.

  Language:Rust4.3k58

• fathulfahmy/corne-keyboard

  👾 Corne keyboard firmware and flashing guide

  145

• foostan/crkbd

  Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

  Language:Makefile5.8k1k

• tigerbeetle/tigerbeetle

  The financial transactions database designed for mission critical safety and performance.

  Language:Zig11.2k533

• darkvoid-theme/vscode

  VsCode colorscheme for dark dwellers with optional glow effect!

  4

• luc-tielen/eclair-lang

  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

  Language:Haskell22113

• tikv/raft-rs

  Raft distributed consensus algorithm implemented in Rust.

  Language:Rust3k403

• sqlkata/querybuilder

  SQL query builder, written in c#, helps you build complex queries easily, supports SqlServer, MySql, PostgreSql, Oracle, Sqlite and Firebird

  Language:C#3.2k502

• blaix/gren-tui

  Write purely functional, type-safe, responsive terminal apps with Gren.

  Language:Elm17

• web-scrobbler/web-scrobbler

  Scrobble music all around the web!

  Language:TypeScript2.5k556

• Team-Silver-Sphere/SquadJS

  Squad Server Script Framework

  Language:JavaScript173131

• slatedb/slatedb

  A cloud native embedded storage engine built on object storage.

  Language:Rust1.7k86

• VineLang/vine

  an experimental new programming language based on interaction nets

  Language:Rust212

• edilson258/filipe

  A high level programming language powered by Rust

  Language:Rust113

• jefferson-calmon/codocx

  A ferramenta mais simples e fácil de usar para automatizar documentação de código

  Language:TypeScript31434

• wellwelwel/poku

  🐷 Poku makes testing easy for Node.js, Bun, Deno, and you at the same time.

  Language:TypeScript78614

• KindaSloth/Haskell4Noobs

  Único roadmap de Haskell possível, do noob ao Thanos

  24312

• hemanth/functional-programming-jargon

  Jargon from the functional programming world in simple terms!

  18.6k1k

• geohot/fromthetransistor

  From the Transistor to the Web Browser, a rough outline for a 12 week course

  5.4k442

• Fullstop000/wickdb

  Pure Rust LSM-tree based embedded storage engine

  Language:Rust62669

• sampsyo/cs6120

  advanced compilers

  Language:HTML776160

• reu/rinha-2024

  rinha-2024

  Language:Rust221

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k231