sfiruch

sfiruch's Stars

• praeclarum/sqlite-net

  Simple, powerful, cross-platform SQLite client and ORM for .NET

  Language:C#4k1.4k

• ashmind/SharpLab

  .NET language playground

  Language:C#2.7k197

• pierreaubert/spinorama

  A library to display and compare spinorama (speakers measurements) graphs.

  Language:Python11212

• RononDex/FitsLibrary

  A native C# dotnet core implenetation to read and write astronomical .FITS files following newest specifications

  Language:C#12

• ERGO-Code/HiGHS

  Linear optimization software

  Language:C++945175

• saemideluxe/semicongine

  Small, (mostly) dependency free game engine

  Language:Nim353

• natemcmaster/LettuceEncrypt

  Free, automatic HTTPS certificate generation for ASP.NET Core web apps

  Language:C#1.6k154

• Gurobi/modeling-examples

  Gurobi modeling examples

  Language:Jupyter Notebook622273

• ScottPlot/ScottPlot

  Interactive plotting library for .NET

  Language:C#5.2k842

• checkedc/checkedc-fork

  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.

  Language:C263

• epfl-lara/stainless

  Verification framework and tool for higher-order Scala programs

  Language:Scala35151

• bflattened/bflat

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

  Language:C#3.6k104

• PINTO0309/PINTO_model_zoo

  A repository for storing models that have been inter-converted between various frameworks. Supported frameworks are TensorFlow, PyTorch, ONNX, OpenVINO, TFJS, TFTRT, TensorFlowLite (Float32/16/INT8), EdgeTPU, CoreML.

  Language:Python3.5k568

• microsoft/DecisionDiagrams

  A performant and ergonomic implementation of binary decision diagrams for .NET

  Language:C#5220

• EgorBo/Disasmo

  VS2022 Add-in. Click on any method or class to see what .NET Core's JIT generates for them (ASM).

  Language:C#65141

• winfsp/winspd

  Windows Storage Proxy Driver - User mode disk storage

  Language:C41152

• sakshiudeshi/Aequitas

  Aequitas, a directed fairness testing framework machine learning models.

  Language:Python910

• i4Ds/SDOBenchmark

  SDO machine learning dataset

  Language:Jupyter Notebook82

• dotnet/machinelearning

  ML.NET is an open source and cross-platform machine learning framework for .NET.

  Language:C#9k1.9k

• win-acme/win-acme

  A simple ACME client for Windows (for use with Let's Encrypt et al.)

  Language:C#5.2k810

• antiufo/roslyn-linq-rewrite

  Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.

  Language:C#71731

• JohnnyCrazy/SpotifyAPI-NET

  :sound: A Client for the Spotify Web API, written in C#/.NET

  Language:C#1.5k307

• filoe/cscore

  An advanced audio library, written in C#. Provides tons of features. From playing/recording audio to decoding/encoding audio streams/files to processing audio data in realtime (e.g. applying custom effects during playback, create visualizations,...). The possibilities are nearly unlimited.

  Language:C#2.2k454

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++818182

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1.5k

• RicoSuter/MyToolkit

  MyToolkit for .NET

  Language:C#33975

• i4Ds/ProStudCreator

  Language:C#61

• scriptcs/scriptcs

  Write C# apps with a text editor, nuget and the power of Roslyn!

  Language:C#2.5k370

• marcosoldati/helio-coordinate-converter

  Heliophysics Coordinate Conversion Library

  Language:Java3

• MindscapeHQ/raygun4java

  Java SDK for the Raygun service

  Language:Java2321