All Categories → No Category → linear-types

Top 5 linear-types open source projects

NumLin: Linear Types for Linear Algebra

✭ 21

TeX ocaml linear-algebra owl linear-types

Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.

✭ 301

haskell Agda Nix common lisp Roff Idris linear-types juvix

flow-ft

The Fungible Token standard on the Flow Blockchain

✭ 120

Cadence go javascript Makefile smart-contracts blockchain linear-types fungible-tokens onflow

linear-scala

Linear types in Scala

✭ 28

scala java linear-types scalafix

austral

Systems language with linear types and capability-based security.

✭ 592

ocaml python Standard ML c Vim Script emacs lisp compiler capabilities linear-types

1-5 of 5 linear-types projects