Sintrastes

Sintrastes's Stars

• rayon-rs/rayon

  Rayon: A data parallelism library for Rust

  Language:Rust11.1k104577501

• hyperium/tonic

  A native gRPC client & server implementation with async/await support.

  Language:Rust10.1k768141k

• martinvonz/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust9.4k61855323

• pinterest/ktlint

  An anti-bikeshedding Kotlin linter with built-in formatter

  Language:Kotlin6.2k571.4k506

• urbit/urbit

  An operating function

  Language:hoon3.4k1312.7k359

• BurntSushi/quickcheck

  Automated property based testing for Rust (with shrinking).

  Language:Rust2.4k19145149

• hyperfiddle/electric

  Electric Clojure: full-stack differential dataflow for UI

  1.8k494451

• mfontanini/presenterm

  A markdown terminal slideshow tool

  Language:Rust1.4k1012435

• LemonAppDev/konsist

  Konsist is a powerful static code analyzer tailored for Kotlin, focused on ensuring codebase consistency and adherence to coding conventions.

  Language:Kotlin1.3k12031

• facebook/ktfmt

  A program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions.

  Language:Kotlin9291425178

• mirkosertic/Bytecoder

  Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.

  Language:Java9022529757

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript8292370235

• AlloyTools/org.alloytools.alloy

  Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

  Language:Java72320191122

• snowleopard/alga

  Algebraic graphs

  Language:Haskell7202211269

• gulbanana/gg

  GG - Gui for JJ

  Language:Rust222909

• ocaml-gospel/gospel

  A tool-agnostic formal specification language for OCaml.

  Language:OCaml128910016

• HTTP-RPC/Sierra

  Declarative UI for Java

  Language:Java119307

• plausiblelabs/lens-rs

  Functional lens library for Rust

  Language:Rust1041033

• kotools/types

  Explicit types for Kotlin Multiplatform.

  Language:Kotlin9035906

• gshen42/HasChor

  Functional choreographic programming in Haskell

  Language:Haskell804515

• fumieval/objective

  Purely functional objects

  Language:Haskell731276

• KuceraMartin/tyqu

  Type-safe Queries

  Language:Scala508313

• pta2002/gleam-radiate

  Hot code reloading for Gleam

  Language:Gleam43332

• idris-community/idris2-tls

  A portable idris2 implementation of TLS

  Language:Idris32537

• AdaCore/why3

  SPARK 2014 repository for the Why3 verification platform.

  Language:OCaml291137

• expipiplus1/exact-real

  Exact real arithmetic in Haskell

  Language:Haskell256124

• readysettech/proptest-stateful

  Library for building stateful property tests using the proptest crate

  Language:Rust23470

• meyerphi/strix

  Strix is a tool for reactive synthesis of controllers from LTL specifications.

  Language:Rust19251

• kaiyuanw/MuAlloy

  A Mutation Testing Framework for Alloy

  Language:Alloy8305

• ltentrup/telo

  Language:Rust3101