FStarLang/FStar

A Proof-oriented Programming Language

c-languagedependent-typesdijkstra-monadsf-sharpfstarinteractive-theorem-provingocamlprogram-proofprogramming-languageproof-assistant

Licencia y mantenimiento

Apache-2.0 es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hoy.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	agda/agdaAgda is a dependently typed programming language / interactive theorem prover.	★ 2.9k	Haskell	Other	Activo
2	bendlang/bendBend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh \| sh	★ 23.8k	TypeScript	Apache-2.0	Activo
3	reasonml/reasonSimple, fast & type safe code that leverages the JavaScript & OCaml ecosystems	★ 10.3k	OCaml	MIT	Activo
4	leanprover/lean3Lean Theorem Prover	★ 2.2k	C++	Apache-2.0	Archivado
5	gfngfn/SATySFiA statically-typed, functional typesetting system	★ 1.2k	OCaml	LGPL-3.0	Menos activo
6	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Activo
7	argotorg/soliditySolidity, the Smart Contract Programming Language	★ 25.8k	C++	GPL-3.0	Activo
8	ruby/rubyThe Ruby Programming Language	★ 23.8k	Ruby	Other	Activo