Railway-oriented programming for .NET
Repository Index
47,133 repositories indexed
25–48 of 53 · Most stars
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
A Lean formalization of the Classification of Finite Simple Groups
F# Cold Tasks and Cancellable Tasks
- fsharp
- dotnet
- async-await
- dotnet-core
A library of mechanised undecidability proofs in the Coq proof assistant.
Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable
- reactive
- elmish
- fable
- fsharp
Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars
Asynchronous programming utilities for F#
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.
- csharp
- dotnet
- fsharp
- mono
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
Builds of the GNAT Ada compiler from FSF GCC releases
Foundational Cryptography Framework for machine-checked proofs of cryptography.
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.