zayenz

zayenz's Stars

• remix-run/remix

  Build Better Websites. Create modern, resilient user experiences with web fundamentals.

  Language:TypeScript29.8k2252.5k2.5k

• diesel-rs/diesel

  A safe, extensible ORM and Query Builder for Rust

  Language:Rust12.7k1101.6k1.1k

• Keats/validator

  Simple validation for Rust structs

  Language:Rust2k16206145

• Peternator7/strum

  A small rust library for adding custom derives to enums

  Language:Rust1.8k14193150

• bodil/im-rs

  Assorted immutable collection datatypes for Rust

  Language:Rust1.5k27118111

• airjp73/rvf

  Easy form validation and state management for React and Remix

  Language:TypeScript838517466

• dtolnay/reflect

  Compile-time reflection API for developing robust procedural macros (proof of concept)

  Language:Rust704192820

• thalo-rs/thalo

  An Event Sourcing runtime with WebAssembly & embedded event store

  Language:Rust64615217

• fcampelo/EC-Bestiary

  A bestiary of evolutionary, swarm and other metaphor-based algorithms

  Language:TeX6013817065

• giovanniberti/robusta

  Easy interop between Rust and Java

  Language:Rust33363016

• MiniZinc/MiniZincIDE

  The MiniZinc IDE

  Language:C++1441618222

• aumouvantsillage/TablaZinc

  Generate guitar tablatures using a constraint solver

  Language:Shell139412

• matklad/fall

  Language:Rust1341828

• jasonkuhrt/alge

  Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱

  Language:TypeScript1152214

• xgillard/ddo

  DDO a generic and efficient framework for MDD-based optimization.

  Language:Rust58416

• draperlaboratory/VIBES

  Verified, Incremental, Binary Editing with Synthesis

  Language:OCaml4912821

• Gecode/MPG

  Modeling and Programming with Gecode

  Language:TeX456210

• anowell/kubeclient-rs

  Kubernetes API client in Rust

  Language:Rust309412

• MiniZinc/minizinc-js

  Use MiniZinc in the browser or with NodeJS

  Language:JavaScript301138

• matklad/dlx

  Language:Rust2930

• domain-independent-dp/didp-rs

  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.

  Language:Rust26101

• moia-oss/lambda-kotlin-request-router

  A REST request routing layer for AWS lambda handlers written in Kotlin

  Language:Kotlin203655

• shackle-rs/shackle

  A constraint modelling and rewriting library and compiler framework written in rust

  Language:Rust206137

• ciaranm/glasgow-constraint-solver

  A constraint programming solver with support for proof logging

  Language:C++111

• xgillard/rsolve

  A sat solver in rust

  Language:Rust9501

• sambanova/modelzoo

  The SambaNova Model Zoo open-source repository includes RDU-compatible source code, along with example applications for compiling and running models on SambaNova hardware.

  Language:Python80

• IBMDecisionOptimization/cpofzn

  CP Optimizer back end for Minizinc

  Language:C++7600

• lucasdicioccio/snakecube

  320

• Dekker1/tree-sitter-minizinc

  MiniZinc grammar for tree-sitter

  Language:JavaScript120

• GustavBjordal/gecode-subsuming

  Language:C++10