Showing entries 12701-12800 out of 56196.
OAuth2 jwt-bearer client flow as per rfc7523
Simple OAuth for http-client
Live in-memory sync of Obsidian Markdown notes
Communicate to OBD interfaces over ELM327
Ordered Reduced Binary Decision Diagrams
Oberon0 Compiler
Reads and writes obj models
Object oriented programming for haskell using multiparameter typeclasses
Rather unique identifier for things that need to be stored
Composable objects
Explicitly handled object names
An implementation of the Oblivious Transfer protocol in Haskell
Continuation patterns
Simple observable sharing
Embedded language for GPU Programming
Convert Haskell types in OCaml types
Object capability based IO
Owned channels in the Ownership Monad
A module to manage payroll books for Japanese companies
Parse Rocket League replays
A tested, minimal wrapper around GitHub's API
Lisp with more dynamism, more power, more simplicity
Simple unbalanced Octree for storing data about 3D points
Oculus Rift ffi providing head tracking data
Haskell binding to the ODBC API, aimed at SQL Server driver
A full-featured PostgreSQL-backed job queue (with an admin UI)
Provides a wrapper for deriving word types with fewer bits
Provides Go package metadata
Oracle Database Bindings
Convert Open Document Spreadsheet ODS to CSV
Interface to the Online Encyclopedia of Integer Sequences (OEIS)
Interface for Online Encyclopedia of Integer Sequences (OEIS)
A parser for simplified-syntax OFF files
Parser for OFX data
Haskell binding to OGDF
A context aware binding for the OpenGL graphics system
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator: CoCoSpec
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator: CSV Frontend
Ogma: Runtime Monitor translator: CSV Frontend
Ogma: Runtime Monitor translator: FRET Component Specification Frontend
Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend
Ogma: Runtime Monitor translator: JSON Frontend
Ogma: Runtime Monitor translator: JSON Frontend
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator: SMV Language Frontend
Ogma: Runtime Monitor translator: SMV Language Frontend
Ogma: Runtime Monitor translator: XLSX Frontend
Ogma: Runtime Monitor translator: XLSX Frontend
Ogma: Runtime Monitor translator: XML Frontend
Ogma: Runtime Monitor translator: XML Frontend
Ogma: Runtime Monitor translator: JSON Frontend
Ogma: Runtime Monitor translator: JSON Frontend
A lightweight markup language for story writers
An Entity-Component-Systems engine core
Interface to the Ohloh API
Library for purely functional lazy interactions with the outer world
OpenID Connect 1.0 library for RP
Wrapper for OIS input manager for use with hogre
A microframework based on monadic parsing
Locale library
Time library
Basic versioning library
Haskell client for ollama
A typed-hole plugin that uses LLMs to generate valid hole-fits
An OpenLayers JavaScript Wrapper and Webframework with snaplet-fay
Actor pattern utilities
Om-doh
Haskell utilities for building embedded Elm programs
Monad transformer providing MonadFail
Concurrency utilities
Http utilities
Http utilities
Om-http-logging
Om-kubernetes
Legion Framework
Opinionated logging utilities
Plugin-based explicit import generation
Utilities for showing string-like things
Socket utilities
Misc. time utilites
A simple tool to generate OMakefile for latex files
Render engine
Integer sets and relations using Presburger arithmetic
A purely functional programming language and a proof system
Data encoding and decoding command line utilities
A pretty-printer wrapper to faciliate ease of formatting during development
"Haskell on a Horse" - A combinatorial web framework
Program that sends traffic through SSH tunnels on-demand