sthiele

sthiele's Stars

• maxm4/aspefm

  Computing Elementary Flux Modes (EFM) with Answer Set Programming (ASP)

  Language:Python21

• rodrimati1992/abi_stable_crates

  Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup.

  Language:Rust53230

• stable-Kanren/stable-Kanren

  Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

  Language:Scheme5

• potassco/clintest

  🧪 A test framework for clingo programs

  Language:Python71

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k404

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust33k891

• alviano/asp-chef-alpha

  A simple, intuitive web app for analysing answer sets without having to deal with complex tools or programming languages.

  Language:Svelte5

• tweag/topiary

  Language:Rust54823

• kurtbuilds/ormlite

  An ORM in Rust for developers that love SQL.

  Language:Rust22512

• elk-zone/elk

  A nimble Mastodon web client

  Language:Vue5.4k557

• kdl-org/kdl

  the kdl document language specifications

  1.1k62

• scipopt/scip

  SCIP - Solving Constraint Integer Programs

  Language:C39263

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k50

• shnarazk/splr

  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

  Language:Rust758

• sarsko/CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  Language:Rust60811

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust31.4k1.1k

• petgraph/petgraph

  Graph data structure library for Rust.

  Language:Rust2.9k337

• nextest-rs/nextest

  A next-generation test runner for Rust.

  Language:Rust2.1k94

• obi1kenobi/cargo-semver-checks

  Scan your Rust crate for semver violations.

  Language:Rust1.1k74

• python/mypy

  Optional static typing for Python

  Language:Python18.3k2.8k

• conda-forge/cfep

  conda-forge's Enhancement Proposal

  1824

• daveraja/toh_webservice

  Running Clingo as a FastAPI webservice to solve the Towers of Hanoi problem

  Language:Python2

• guntherwullaert/asp-language-server

  A language server protocol for ASP

  Language:Rust91

• hedyorg/hedy

  Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

  Language:CSS1.3k285

• PyO3/pyo3

  Rust bindings for the Python interpreter

  Language:Rust12.1k744

• zkat/miette

  Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

  Language:Rust2k113

• IWANABETHATGUY/tower-lsp-boilerplate

  Language:Rust20117

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k117

• flxzt/rnote

  Sketch and take handwritten notes.

  Language:Rust8k275

• psf/black

  The uncompromising Python code formatter

  Language:Python38.7k2.4k