Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Search #type-theory #curry-howard #rust #proof #concurrency

  1. par

    Session types, as an implementation of linear logic with MIX

    v0.3.10 750 #async #queue #concurrency #future #server

  2. lynxql

    A parser for the Lynx declarative modeling language - a statically typed language for expressing combinatorial optimization problems

    v0.1.3 210 #combinatorial-optimization #combinatorial #modeling #declarative

  3. lolli-cli

    Command-line interface for the Lolli linear logic workbench

    v0.2.0 #linear-logic #proof #type-theory #rust #curry-howard

  4. repr

    The regular-expression-as-linear-logic interpretation and its implementation

    v0.8.0 #regex #expression

  5. lolli-prove

    Proof search for the Lolli linear logic workbench

    v0.2.0 #linear-logic #proof #type-theory #rust #curry-howard

  6. lolli-core

    Core data structures for the Lolli linear logic workbench

    v0.2.0 #linear-logic #proof #type-theory #curry-howard #rust

  7. lolli-parse

    Parser for the Lolli linear logic workbench

    v0.2.0 #linear-logic #type-theory #proof #rust #curry-howard

  8. lolli-codegen

    Code generation for the Lolli linear logic workbench

    v0.2.0 #linear-logic #proof #type-theory #curry-howard #rust

  9. lolli-extract

    Term extraction for the Lolli linear logic workbench

    v0.2.0 #linear-logic #proof #curry-howard #type-theory #rust

  10. lolli-viz

    Visualization for the Lolli linear logic workbench

    v0.2.0 #proof #linear-logic #type-theory #rust #curry-howard

  11. reachability_solver

    A linear reachability solver for directional edges

    v0.2.0 #reachability #reasoning #theorem #solver

  12. linear_solver

    A linear solver designed to be easy to use with Rust enum expressions

    v0.2.2 #theorem #linear #reasoning #proving

  13. cemc

    Cem language compiler - A concatenative language with green threads and linear types

    v0.1.2 #green-threads #compiler #linear-types #concatenative #llvm

    14. Try searching with DuckDuckGo or on crates.io.

  14. seaslug

    experimental language with a focus on terseness, testability, high quality scheduling and completion-based IO

    v0.0.0 #io-uring #interpreter #concurrency #behavior #user #experimental-language #completion-based #testability #infer #first-class