Showing entries 49801-49900 out of 54319.
A benchmark suite for runtime and heap measurements over a series of inputs
SwiftNav's SBP Library
SBP to UDP
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Component-based program synthesis using SBV
Formally prove properties of Haskell programs using SBV/SMT
Low-level Starcraft II API
A protocol buffer model for the Starcraft II bot API
Support and utility library for sc2hs
An interface to the Starcraft II bot API
Haskell bindings to sc3-rdu (sc3 rd ugens)
Library for writing fast/scalable TCP-based services
SCALE v2.0 codec for Haskell Web3 library
Scale an image to a new geometry
A library for handling calendars and resource availability over time
This is a library for handling calendars and resource availability based on the "top-nodes algorit…
Test webhooks locally
A high level web scraping library for Haskell
A high level web scraping library for Haskell
Scalpel scrapers for search engines
Lexical style suggestions for source code
Metadata types for Albedo Scanners
An implementation of the Scan Vector Machine instruction set in Haskell
Easy and type-safe format strings for parsing and printing
Fast non-backtracking incremental combinator parsing for bytestrings
Inject attoparsec parser with backtracking into non-backtracking scanner
Generates unique passwords for various websites from a single password
Streaming component combinators
Scene Graph
A Haskell library for writing SCGI programs
Marge schedules and show EVR
Pure deterministic scheduled computations
Find the ideal lesson layout
Work stealing scheduler
An interview scheduler using constraint satisfaction and Google Sheets
Exposes standard POSIX function sched_yield