Alternatives and similar repositories for sat-solver:

Users that are interested in sat-solver are comparing it to the libraries listed below

• kekyo / MassivePoints
  .NET implementation of modified QuadTree, perform faster range searches from very large number of multi-dimensional coordinates in the po…
  ☆38Updated 7 months ago
• XenoAtom / XenoAtom.Collections
  This library provides struct based collections for high performance and low memory usage
  ☆33Updated 3 months ago
• terrafx / terrafx.interop.mimalloc
  Interop bindings for mimalloc.
  ☆39Updated 5 months ago
• xoofx / SuperluminalPerf
  SuperluminalPerf is a small .NET managed wrapper around the Superluminal PerformanceAPI.
  ☆39Updated 11 months ago
• xoofx / FixedStrings
  Zero allocation valuetype based fixed string implementation (8/16/32/64) for .NET 7+
  ☆80Updated 11 months ago
• XenoAtom / XenoAtom.Allocators
  This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)
  ☆38Updated 7 months ago
• aelij / spanify
  Span-ify your code: write high performance memory aware C#
  ☆70Updated last week
• jamarino / IntervalTree
  A light-weight, performant interval tree in C#
  ☆24Updated 5 months ago
• krasin-ga / matryoshki
  High-performance zero-reflection approach to C# metaprogramming
  ☆29Updated 4 months ago
• TechPizzaDev / SharpBlaze
  ☆14Updated 10 months ago
• ykafia / SoftTouch.ECS
  Archetypal ECS for F# and C#
  ☆23Updated 3 months ago
• yowl / CSharpWebGpu
  C# examples using WebGPU and NativeAOT
  ☆49Updated 2 years ago
• xoofx / Fast1BRC
  C# version for the The One Billion Row Challenge
  ☆31Updated 11 months ago
• teo-tsirpanis / Sigourney
  A lightweight toolkit to write .NET assembly weavers.
  ☆13Updated last month
• mattwar / Linq2Span
  LINQ implementation for Span
  ☆23Updated 4 months ago
• fryderykhuang / NullGC
  High performance unmanaged memory allocator / collection types / LINQ provider for .NET Core
  ☆62Updated last year
• redoz / Synto
  .NET library for working with Roslyn's syntax trees
  ☆23Updated last year
• SirCxyrtyx / FileEmbed
  A source generator for embedding resource files directly into your assembly. Access them as a `ReadOnlySpan<byte>`, with no allocations o…
  ☆23Updated 2 years ago
• XenoAtom / XenoAtom.Interop
  This XenoAtom.Interop project provides a set of C# libraries to interop with C/C++ libraries (musl, libgit2, sqlite, vulkan...)
  ☆56Updated 7 months ago
• ufcpp / NonCopyableAnalyzer
  An analyzer for Non-Copyable structs.
  ☆31Updated 2 years ago
• YairHalberstadt / SpanLinq
  Linq for Span<T> using SourceGenerators
  ☆52Updated 3 years ago
• Entomy / LibLangly
  The combined Langly runtime
  ☆33Updated 3 years ago
• ogxd / gxhash-csharp
  ☆22Updated last month
• kysect / DotnetProjectSystem
  DotnetProjectSystem is a nuget package for working with .sln, .csproj and .props files.
  ☆9Updated 9 months ago
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆53Updated 5 years ago
• Motvin / FastHashSet
  A replacement for the generic HashSet<T> that is usually faster, has more predictable memory allocations, and uses C# 7.x ref returns and…
  ☆24Updated 5 years ago
• stark-lang / stark-roslyn
  [obsolete] This is the stark compiler forked from the Roslyn .NET compiler C# with rich code analysis APIs.
  ☆12Updated 5 years ago
• badamczewski / DataOrientedDesign
  Sample codes from my Lectures and Trainings on DoD
  ☆49Updated 4 years ago
• AlexNav73 / CoreCraft
  An application state management library
  ☆9Updated 2 months ago
• tannergooding / RyuJitSharp
  A port of the dotnet/runtime RyuJIT compiler to C#
  ☆47Updated 9 months ago