Pinned Repositories
cdsc-image-processing-pipeline
Automatically exported from code.google.com/p/cdsc-image-processing-pipeline
elmental
Bridge between your Elm and Haskell datatypes without compromise
flopoco-nix
Making it FloPoCo easy to install and use for anyone
Folia
Leaf Recognition
impulsive
isl
OCaml Bindings for ISL (Integer Set Library)
isl-bindings
Low and high-level Haskell bindings to the Integer Set Library
ocaml-gmp
ocaml-isl
OCaml bindings for the Integer Set Library.
t-rex
Typed regular expressions
gdeest's Repositories
gdeest/t-rex
Typed regular expressions
gdeest/elmental
Bridge between your Elm and Haskell datatypes without compromise
gdeest/isl-bindings
Low and high-level Haskell bindings to the Integer Set Library
gdeest/apecs-physics
2D physics and rendering for apecs
gdeest/chiphunk
gdeest/constrained-arrays
gdeest/documentation
Documentation for the PureScript language, compiler, and tools.
gdeest/domains
Experiment with first-class polyhedral domains in Haskell
gdeest/elm-env
gdeest/gdeest.github.io
gdeest/gdeest.github.io-src
gdeest/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
gdeest/ghcide-nix
Nix installation for ghcide
gdeest/grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
gdeest/haskell-cake
gdeest/haskell-re2
Bindings to the re2 regular expression library
gdeest/haskell-servant.github.io
servant website
gdeest/llvm-demo
Demo environment for llvm-hs
gdeest/nextpnr-xilinx
Experimental flows using nextpnr for Xilinx devices
gdeest/nix-fpgapkgs
Nix channel with FPGA development tools
gdeest/parcel
📦🚀 Blazing fast, zero configuration web application bundler
gdeest/purescript-bridge
Create PureScript datatypes from Haskell datatypes
gdeest/purescript-servant-support
Support library needed by code generated by servant-purescript
gdeest/purescript-skeleton
gdeest/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
gdeest/servant-purescript
Translate servant API to purescript code, with the help of purescript-bridge.
gdeest/servant-swagger-ui
Provide embedded swagger UI for servant and swagger
gdeest/stdcpp-repro
Bug reproduction for rules_haskell on Windows
gdeest/the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
gdeest/withflint.com