Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / nushio3
Developer Profile

nushio3

Discovered public repositories for nushio3 in the GitHub catalog.

↗

nushio3/PCPjH

Read Simon Marlow's ``Parallel and Concurrent Programming in Haskell.''

↗

nushio3/reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms

↗

nushio3/UFCORIN

Universal Forecast Constructor for Solar X-Ray flux prediction

↗

nushio3/unittyped

UnitTyped is a Haskell library for type-safe calculations on numbers with units.

↗

nushio3/embeddock

In Haddock documentation embed the values from the same module, similar to what doctest does

↗

nushio3/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.

↗

nushio3/dimensional-tf

A library for performing arithmetic with physical quantities and units, with ability to add custom dimensions.

↗

nushio3/distributed-process-p2p

Peer-to-peer node discovery for Cloud Haskell, manually forked from https://bitbucket.org/dpwiz/distributed-process-p2p

↗

nushio3/CurryDB

CurryDB: Simple, Polymorphic, Persistent, Transactional, In-memory Key/Value Database

↗

nushio3/Paraiso

a Parallel Integration Scheme Organizer for partial differential equations solvers

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.