Library for Classical Coq
Repository Index
47,133 repositories indexed
121–136 of 136 · Most stars
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Pure functions for slices.
- golang
- go
- generics
HAR (HTTP Archive) parser in Crystal
- har
- http-archive
- http-archive-format
- json
Crystal shard wrapping libgphoto2
- libgphoto2
- crystal
- photography
- gphoto2
Crystal library for Win32 API
- crystal
- crystal-lang
- crystal-language
- crystal-shard
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Crystal shard aiming to assist with parsing backtraces into a structured form.
- crystal
- stacktrace
- parser
Adds pledge(2) to crystal.
- crystal
- crystal-language
- shards
- openbsd
A port of Bryan O'Sullivan's attoparsec from Haskell to F#. Nuget: 'Attoparsec'
- parsing
- combinators
- fsharp
- attoparsec
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers
- collections
- data-structures
- functional-programming
- generics
Never hard code your urls again. Boomboom them all!
Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON
- functional-programming
- java
- json
- json-generator
A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.
A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.