Showing entries 11401-11500 out of 18345.
Numeric Domains
Useful tools from the C standard library
Type-level numeric types and classes
Various floating point limit related constants
Integral and rational log2 algorithms
Ode solvers
Unified interface to various numerical optimization algorithms
Wrapper of numeric-optimization package for using with AD package
Wrapper of numeric-optimization package for using with backprop package
An experimental alternative hierarchy of numeric type classes
Quasi-quoters for numbers of different bases
Math and quantum mechanics
A framework for numeric ranges
Collection of numerical tools for integration, differentiation etc
Core package for Numerical Haskell project
Numerical integration
Peano numbers with attendant bells and whistles
A numeric class hierarchy
A numeric class hierarchy
Multi-dimensional arrays
Numerical free algebras
Laws and tests for numhask
See readme.md
A numeric prelude
Numbers that are range representations
Numerical spaces
Laws and tests for numhask
Instances of numeric classes for functions and tuples
Num, Enum, Eq, Integral, Ord, Real, and Show instances for Lazy ByteStrings
None
Type-level (low cardinality) integers
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families
Type-level (low cardinality) integers, implemented using type families
NURBS
Nussinov78 using the ADPfusion library
A little library to calculate nutrition values of food items
Nuxeo tools
Generate nix sources expr for the latest version of packages
Haskell plugin backend for neovim
Haskell plugin backend for neovim
Neovim plugin that runs ghcid to update the quickfix list
FFI bindings to NVVM
A Haskell interface to Lego Mindstorms NXT
Generate NXC Code from DSL
Bored?
Flexible production-scale string interpolation library
Customize your nyan interpolator!
Simplified lightweight interpolation
Client for the Nylas API
An interactive GUI for manipulating L-systems
A bullet-hell game made with SDL2
Type-safe time library
Finitely generated abelian groups
Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems
Client to the OANDA REST API
Extensible Resource Descriptor
Composable concurrent computation done right
Fully Automatic Luxury OAuth 1.0a headers
OAuth2 jwt-bearer client flow as per rfc7523
Simple OAuth for http-client
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: Runtime Monitor translator:
Ogma: Runtime Monitor translator: CoCoSpec
Ogma: Runtime Monitor translator: