Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
47,133 repositories indexed
1–24 of 51 · Most stars
.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework
- cefsharp
- c-sharp
- c-plus-plus
- wpf
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler
- fsharp
- javascript
- typescript
- dart
.NET for Apache® Spark™ makes Apache Spark™ easily accessible to .NET developers.
Probably the fastest coroutine lib in the world!
- libos
- iouring
- net-library
- fs-library
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Extensions for F#
- f-sharp
- generic-functions
- monad-transformers
- arrow-functions
Functional programming and other utilities from the original "fsharpx" project
- hacktoberfest
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
- actors
- cqrs
- event-sourcing
- fsm
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
- cil
- msil
- c
- csharp
Language bindings generated from the GTFS Realtime protocol buffer spec for popular languages.
Practical generic programming for F#
- generic-programming
- fsharp
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
The repository host gives no description.
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).