A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Repository Index
78,850 visible repositories in the index
721–744 of 970 · Most stars
TypeScript Iteration Tools Library
- fluentinterface
- generator
- infinite-iteration
- iterable
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
Go Stream, like Java 8 Stream.
- go-stream
- filter
- map
- flatmap
The Rockstar programming language specification
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs
An UnderscoreJS port for Coldfusion. Functional programming library.
- coldfusion
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.
Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax
Automatic C-bindings generator for the Crystal language
- crystal
- code-generation
- binding-generator
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Automatic generation of N-API wrapper from a C++ library
- napi
- n-api
- nodejs
- node-addon-api
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3