jprider63
Follow
-
-
dioxus-heroicons Public
Forked from houseabsolute/dioxus-heroiconsDioxus components for heroicons
Rust Apache License 2.0 UpdatedJan 5, 2025 -
pkcloud-accounts Public
Forked from PKAuth/pkcloud-accountsHaskell Apache License 2.0 UpdatedDec 4, 2024 -
flux Public
Forked from flux-rs/fluxRefinement Types for Rust
Rust MIT License UpdatedDec 19, 2023 -
docker-hs Public
Forked from denibertovic/docker-hsHaskell Wrapper for the Docker Remote API
-
-
dioxus-markdown Public
Forked from DioxusLabs/markdownConvert markdown to dioxus vnodes
Rust UpdatedJul 2, 2023 -
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedMar 3, 2023 -
rocket_csrf Public
Forked from kotovalexarian/rocket_csrfCSRF (Cross-Site Request Forgery) protection for Rocket web framework
Rust MIT License UpdatedJul 13, 2022 -
okapi Public
Forked from GREsau/okapiOpenAPI (AKA Swagger) document generation for Rust projects
Rust MIT License UpdatedJun 15, 2022 -
async-session-types-rs Public
Forked from aakoshh/async-session-types-rsAsynchronous Session Types library
Rust MIT License UpdatedMar 31, 2022 -
ghc-elaboration-test Public
Forked from yiyunliu/ghc-elaboration-testHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 2, 2021 -
daedalus Public
Forked from GaloisInc/daedalusThe Daedalus data description language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 18, 2021 -
hoc Public
Forked from mokus0/hocHaskell to Objective-C bridge (work in progress: 64-bit support for Mac OS 10.7)
Objective-C UpdatedJan 4, 2021 -
BridgeSupport Public
Forked from mokus0/BridgeSupportBridgeSupport parser for Haskell
Haskell UpdatedJan 4, 2021 -
liquidhaskell Public
Forked from ucsd-progsys/liquidhaskellLiquid Types For Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 31, 2020 -
swift-haskell-tutorial Public
Forked from nanotech/swift-haskell-tutorialIntegrating Haskell with Swift Mac Apps
Haskell BSD 2-Clause "Simplified" License UpdatedDec 17, 2020 -
esqueleto Public
Forked from prowdsponsor/esqueletoBare bones, type-safe EDSL for SQL queries on persistent backends.
-
liquid-fixpoint Public
Forked from ucsd-progsys/liquid-fixpointHaskell Interface for Horn Clause Constraint Solving for Liquid Types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 6, 2020 -
containers Public
Forked from haskell/containersAssorted concrete container types
Haskell UpdatedJul 17, 2020 -
simplessh Public
Forked from thoferon/simplesshSee https://hackage.haskell.org/package/simplessh
C BSD 3-Clause "New" or "Revised" License UpdatedApr 19, 2020 -
reflex-vty Public
Forked from reflex-frp/reflex-vtyReflex library for building functional reactive terminal applications
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 14, 2020 -
saw-core Public
Forked from GaloisInc/saw-coreThe SAW core language.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 31, 2019 -
LMonad-Yesod Public
Integrating LMonad's IFC with Yesod web applications
-
LMonad Public
Information Flow Control for Haskell applications
-
-
mueval Public
Forked from TerenceNg03/muevalA secure sandboxed Haskell interpreter for pure function evaluation
Haskell Other UpdatedSep 3, 2019 -
cmdargs Public
Forked from ndmitchell/cmdargsHaskell library for command line argument processing
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 1, 2019 -
vis Public
Forked from almende/visvis.js is a dynamic, browser-based visualization library
JavaScript Apache License 2.0 UpdatedJul 2, 2019 -
yesod Public
Forked from yesodweb/yesodA RESTful Haskell web framework built on WAI.
Haskell MIT License UpdatedJun 15, 2019