Pinned Repositories
CMSC727-Project
esqueleto
Bare bones, type-safe EDSL for SQL queries on persistent backends.
LMonad
Information Flow Control for Haskell applications
LMonad-Yesod
Integrating LMonad's IFC with Yesod web applications
Padded-Oracle-Attack
A padded oracle attack against AES encryption in CBC mode.
persistent-ratelimit
Quicksilver-iTunes-Module
Rewrite of Quicksilver iTunes Plugin.
Quicksilver-ShiftIt-Module
staticpublicsuffix
Lazy static list for the publicsuffix crate
vrdt
jprider63's Repositories
jprider63/LMonad
Information Flow Control for Haskell applications
jprider63/vrdt
jprider63/LMonad-Yesod
Integrating LMonad's IFC with Yesod web applications
jprider63/esqueleto
Bare bones, type-safe EDSL for SQL queries on persistent backends.
jprider63/persistent-ratelimit
jprider63/async-session-types-rs
Asynchronous Session Types library
jprider63/BridgeSupport
BridgeSupport parser for Haskell
jprider63/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
jprider63/cmdargs
Haskell library for command line argument processing
jprider63/containers
Assorted concrete container types
jprider63/daedalus
The Daedalus data description language
jprider63/dioxus-heroicons
Dioxus components for heroicons
jprider63/dioxus-markdown
Convert markdown to dioxus vnodes
jprider63/docker-hs
Haskell Wrapper for the Docker Remote API
jprider63/flux
Refinement Types for Rust
jprider63/ghc-elaboration-test
jprider63/hoc
Haskell to Objective-C bridge (work in progress: 64-bit support for Mac OS 10.7)
jprider63/liquid-fixpoint
Haskell Interface for Horn Clause Constraint Solving for Liquid Types
jprider63/liquidhaskell
Liquid Types For Haskell
jprider63/mueval
A secure sandboxed Haskell interpreter for pure function evaluation
jprider63/odyssey
jprider63/okapi
OpenAPI (AKA Swagger) document generation for Rust projects
jprider63/pkcloud-accounts
jprider63/reflex-vty
Reflex library for building functional reactive terminal applications
jprider63/rocket_csrf
CSRF (Cross-Site Request Forgery) protection for Rocket web framework
jprider63/saw-core
The SAW core language.
jprider63/simplessh
See https://hackage.haskell.org/package/simplessh
jprider63/swift-haskell-tutorial
Integrating Haskell with Swift Mac Apps
jprider63/vis
vis.js is a dynamic, browser-based visualization library
jprider63/yesod
A RESTful Haskell web framework built on WAI.