A Library for Representing Recursive and Impure Programs in Coq
Repository Index
47,133 repositories indexed
25–48 of 51 · Most stars
Elm style FRP library for PureScript
An implementation of React hooks on top of purescript-react-basic
A fast, purely functional data structure library in Common Lisp.
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
LPeg version 1.0 Parser in pure LuaJIT
Pure Go FFI for WebGPU - CGO-free GPU access via wgpu-native bindings
- cgo-free
- ffi
- go
- golang
Error/Warning reporting frontend for the PureScript compiler
Generalized folds, unfolds, and traversals for fixed point data structures
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
The Effect monad, for handling native side effects
Pure Python parser for classic Windows Event Log files (.evt)
A Starcraft 2 replay parser written in pure Ruby
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad
Pure functions for slices.
- golang
- go
- generics
A library that wraps OpenSSL, but also has pure Julia implementations for reference.
DataView on ArrayBuffer input stream support for purescript-parsing
- purescript-parsing
- purescript
- parsing
- arraybuffer
Bindings and implementation for mutable JavaScript ArrayBuffers.
Never hard code your urls again. Boomboom them all!