NinoFloris

Nino Floris's starred repositories

shellcheck

ShellCheck, a static analysis tool for shell scripts

Language:HaskellGPL-3.036264 415 2669

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.010460 99 190

prql

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Language:RustApache-2.09872 43 1009

spec

The canonical spec for ulid

GPL-3.09666 93 39

elsa-core

A .NET workflows library

Language:C#MIT6289 166 2739

msquic

Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.

Language:CMIT4044 125 741

bflat

C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)

Language:C#AGPL-3.03629 59 124

pgrx

Build Postgres Extensions with Rust!

Language:RustNOASSERTION3601 35 599

orioledb

OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems) 🇺🇦

Language:CNOASSERTION2807 55 328

y-crdt

Rust port of Yjs

Language:RustNOASSERTION1486 24 192

Arch

A high-performance C# based Archetype & Chunks Entity Component System (ECS) with optional multithreading.

Language:C#Apache-2.0984 19 127

financial_lessons

What financial info would I have wanted to know when I was 22 and jumping into tech?

703 80 7

node-api-dotnet

Advanced interoperability between .NET and JavaScript in the same process.

Language:C#MIT503 11 156

Esquio

Esquio is a Feature Toggle Library for .NET Developers.

Language:JavaScriptApache-2.0428 16 92

Stubble

Trimmed down {{mustache}} templates in .NET

Language:C#NOASSERTION403 8 97

FedCM

A privacy preserving identity exchange Web API

Language:BikeshedNOASSERTION361 71 330

sizoscope

.NET tool to analyze size of Native AOT binaries.

Language:C#AGPL-3.0334 6 5

realmon

A monitoring tool that tells you when GCs happen in a process and some characteristics about these GCs

Language:C#MIT281 12 16

inpla

Inpla: Interaction nets as a programming language (the current version)

Language:YaccMIT276 12 1

ImTools

Fast and memory-efficient immutable collections and helper data structures

Language:C#MIT224 7 50

smolsharp

🐜 Extremely small standalone C# executables using NativeAOT

Language:C#GPL-3.0214 11 1

datalab

This repo is for experimentation and exploring new ideas involving ADO.NET, EF Core, and other areas related to .NET data.

Language:C#MIT196 68 11

U8String

[work-in-progress] Highly functional and performant UTF-8 string primitive for C#

Language:C#MIT153 6 6

pg_plan_guarantee

Postgres Query Optimizer Extension that guarantees your desired plan will not change

Language:CPostgreSQL92 5 4

sendgrid-webhooks

A library to parse webhook events from Sendgrid. Supports all events, categories and unique args.

Language:C#Apache-2.045 9 14

perfviewjs

Web-based Viewer for ETL and NetPerf Data

Language:C#30 12 4

two-level

Two-Level Type Theory

Language:Lean27 50

explorer

Explore units, stats and more

Language:TypeScript27 4 19

postgres

PostgreSQL with extensibility and performance patches

Language:CNOASSERTION23 9 5

FSharp.Control.Redis.Streams

Interop library between Redis Streams and popular dotnet streaming libraries

Language:F#MIT13 6 1