syb | hackage | Package Usage | Ecosyste.ms: Repos

etarasov/iptables-helpers

==0.3.* iptables-helpers.cabal

Size: 199 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago

sol/doctest

An implementation of Python's doctest for Haskell

>=0.3 doctest.cabal
>=0.3 doctest.cabal

Size: 771 KB - Last synced: 16 days ago - Pushed: 6 months ago

h3rb/docsi

A clone of Geordi IRC bot to be used as an IRC documentation service

* geordi.cabal

Size: 281 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

HackBulgaria/Haskell-1

Functional Programming with Haskell

0.4.4 week5/1-SimpleYesod/cabal.config

Size: 519 KB - Last synced: about 2 months ago - Pushed: over 8 years ago

mjgpy3/formantis

Haskell/Yesod breakable toy

0.4.4 cabal.config

Size: 254 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago

UCSD-PL/algorithmic-software-verification

Course Materials for Graduate Class on Algorithmic Software Verification

* assignments/hw2-liquid/nano-js.cabal

Size: 15.1 MB - Last synced: about 1 month ago - Pushed: almost 11 years ago

mzini/qlogic

Propositional Logic Library for Haskell

>=0.1 qlogic.cabal

Size: 445 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago

jbirch/fuckin-about-with-hs

Get up a simple Haskell webapp

0.6 cabal.config

Size: 13.7 KB - Last synced: 8 months ago - Pushed: over 8 years ago

glutamate/bugpan

Pan for bugs

* bugpan.cabal

Size: 1.4 MB - Last synced: about 1 year ago - Pushed: about 9 years ago

facebookarchive/lex-pass 📦

manipulate a php codebase using haskell to transform the abstract-syntax-tree

* lex-pass.cabal

Size: 498 KB - Last synced: 18 days ago - Pushed: almost 10 years ago

abuiles/Hato

Simple To-Do Manager Using Happstack

* hato.cabal

Size: 379 KB - Last synced: about 1 year ago - Pushed: almost 15 years ago

batterseapower/unroll-plugin

Loop unrolling plugin for the Glasgow Haskell Compiler

* plugin/unroll-plugin.cabal

Size: 85 KB - Last synced: about 1 year ago - Pushed: almost 15 years ago

gcross/Privateer

Automatic global variable privatization

* Privateer.cabal

Size: 1.08 MB - Last synced: about 1 year ago - Pushed: over 14 years ago

christiaanb/tfvec

Fixed Size Vectors using type-family based Numerals

* tfvec.cabal

Size: 85.9 KB - Last synced: about 1 year ago - Pushed: over 14 years ago

teneighty/papps

Happstack paste bin

* papps.cabal

Size: 85.9 KB - Last synced: about 1 year ago - Pushed: over 14 years ago

snapframework/snap

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

* snap.cabal

Size: 1.92 MB - Last synced: about 1 month ago - Pushed: 6 months ago

bmillwood/haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

>=0.1 && <0.8 haskell-src-meta.cabal

Size: 207 KB - Last synced: 6 months ago - Pushed: about 1 year ago

brownplt/webbits-html

>=0.1 WebBits-Html.cabal

Size: 1.01 MB - Last synced: about 1 month ago - Pushed: over 13 years ago

brownplt/ovid

direct-style JavaScript CFA

* Ovid.cabal

Size: 141 KB - Last synced: about 1 month ago - Pushed: over 13 years ago

A1kmm/modml-solver

DAE Solver for ModML models

>=0.1 && <0.3 modml-solver.cabal

Size: 9.94 MB - Last synced: about 1 year ago - Pushed: over 13 years ago

np/wordcloud

Haskell library which makes word/tag clouds.

* wordcloud.cabal

Size: 149 KB - Last synced: about 1 year ago - Pushed: over 13 years ago

iu-parfunc/meta-par

Our development staging ground for new work before it goes live on the simonmar/monad-par repo.

* RPC/RPC.cabal
* examples/parfib-dist/parfib-dist.cabal

Size: 3.13 MB - Last synced: about 1 year ago - Pushed: over 10 years ago

jekor/vocabulink

web application for learning foreign vocabulary

* hs/vocabulink.cabal

Size: 1.24 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago

f-algebra/elea-phd

Elea (as developed for my PhD)

0.5.1 cabal.config

Size: 1.93 MB - Last synced: about 1 year ago - Pushed: about 8 years ago

syoyo/lucille

lucille global illumination renderer

* rnd/HaskellRSLCompiler/RSL.cabal

Size: 4.97 MB - Last synced: about 1 year ago - Pushed: almost 15 years ago

ierton/vsim

vsim

* vsim.cabal

Size: 332 KB - Last synced: about 1 year ago - Pushed: over 11 years ago

grwlf/cake3

Makefile DSL

* cake3.cabal

Size: 4.79 MB - Last synced: about 1 month ago - Pushed: about 6 years ago

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

>=0.4.4 liquidhaskell.cabal
* liquidhaskell.cabal

Size: 56.2 MB - Last synced: 16 days ago - Pushed: 16 days ago

hbasold/LAMA

Intermediate language for verification of SCADE programs (including translation)

* scade2lama/Scade2Lama.cabal

Size: 745 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago

atweiden/voidpkgs

Console-only XBPS source package collection for Void

>=0.4 && <0.8 srcpkgs/pandoc/files/pandoc-crossref.cabal

Size: 23 MB - Last synced: 9 months ago - Pushed: 9 months ago

serokell/coffer

Multi-backend password store with multiple frontends

* coffer.cabal

Size: 551 KB - Last synced: 17 days ago - Pushed: 5 months ago

plow-technologies/cobalt-kiosk-form-template

Form Types for Cobalt Kiosk Application Backend

0.6 cabal.config

Size: 226 KB - Last synced: 9 months ago - Pushed: over 7 years ago

mbj/mhs

Haskell tooling megarepo

>=0.7 source-constraints/source-constraints.cabal
>=0.7 source-constraints/source-constraints.cabal

Size: 2.33 MB - Last synced: 4 days ago - Pushed: 4 days ago

GaloisInc/sk-dev-platform

Development platform for prototyping separation kernel applications

>=0.1.0.0 libs/SCD/scd.cabal

Size: 9.88 MB - Last synced: about 1 year ago - Pushed: over 9 years ago

bzhkl/Spreadsheet Fork of b1g3ar5/Spreadsheet

My spreadsheet app using threepenny-gui

0.5.1 cabal.config

Size: 7.25 MB - Last synced: about 1 year ago - Pushed: over 8 years ago

adbrown101/void-packages Fork of void-linux/void-packages

Copy of void-linux/void-packages used for maintaining and creating packages. Please use upstream

>=0.4 && <0.8 srcpkgs/pandoc/files/pandoc-crossref.cabal

Size: 495 MB - Last synced: about 7 hours ago - Pushed: about 12 hours ago

vincenthz/language-c

mirror of darcs' language-c

* language-c.cabal

Size: 1.01 MB - Last synced: about 1 year ago - Pushed: about 10 years ago

benma/bfc

Toy language to brainfuck compiler

* bfc.cabal

Size: 238 KB - Last synced: about 1 year ago - Pushed: about 10 years ago

srijs/haskell-ndjson-conduit

Conduit-based parsing and serialization for newline delimited JSON

0.4.4 cabal.config

Size: 16.6 KB - Last synced: 1 day ago - Pushed: over 7 years ago

norm2782/DGG

>=0.3 DGG.cabal

Size: 691 KB - Last synced: about 1 year ago - Pushed: over 12 years ago

ucam-cl-dtg/naps-camfort

Open source Fortan analysis and transformation library written in Haskell

>=0.4 camfort.cabal

Size: 9.28 MB - Last synced: 9 days ago - Pushed: almost 9 years ago

khajavi/pandoc

Automatically exported from code.google.com/p/pandoc

* pandoc.cabal

Size: 3.19 MB - Last synced: 8 days ago - Pushed: almost 9 years ago

carymrobbins/intellij-haskforce

Haskell plugin for IntelliJ IDEA

* tests/gold/cabal/parser/example00001.cabal
* tests/gold/cabal/parser/example00001.cabal
>=0.1 && <0.7 tests/gold/cabal/parser/example00007.cabal
>=0.1 && <0.7 tests/gold/cabal/parser/example00007.cabal
>=0.1 && <0.7 tests/gold/cabal/parser/example00007.cabal
* tests/gold/cabal/parser/example00010.cabal

Size: 31.8 MB - Last synced: 11 days ago - Pushed: almost 2 years ago

juanpahgj/tfg_2022

* rew-syntax-checker.cabal

Size: 6.78 MB - Last synced: 11 months ago - Pushed: almost 2 years ago

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

>=0.5 && <0.8 reflex.cabal

Size: 2.2 MB - Last synced: 12 days ago - Pushed: 14 days ago

finnsson/mapper

>=0.1.0.2 mapper.cabal

Size: 2.32 MB - Last synced: 9 days ago - Pushed: almost 14 years ago

void-linux/void-packages

The Void source packages collection

>=0.4 && <0.8 srcpkgs/pandoc/files/pandoc-crossref.cabal

Size: 496 MB - Last synced: 1 day ago - Pushed: 2 days ago

ekmett/ixset

multiply indexed sets (ported from happstack)

* ixset.cabal

Size: 97.7 KB - Last synced: about 1 year ago - Pushed: almost 14 years ago

restaumatic/large-records Fork of well-typed/large-records

Library to support efficient compilation of large records (linear in the number of record fields)

==0.7.* large-anon/large-anon.cabal

Size: 4.98 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

qaristote/liquid-fixpoint Fork of ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

* liquid-fixpoint.cabal

Size: 5.24 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

jkoppel/Strafunski-StrategyLib

Cabalized version of the StrategyLib library from Strafunski

>0.3 && <4.1 Strafunski-StrategyLib.cabal

Size: 89.8 KB - Last synced: about 1 year ago - Pushed: over 4 years ago

phadej/helhug-types

Presentation hold at Helsinki Haskell User Group, 2015-03-04

0.4.4 cabal.config

Size: 301 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

* conjure-cp.cabal

Size: 110 MB - Last synced: 5 days ago - Pushed: 5 days ago

open-budget/currencies

API курсів валют

0.4.2 cabal.config

Size: 145 KB - Last synced: 8 months ago - Pushed: over 9 years ago

coursestitch/coursestitch-api

The REST API for course stitch data

0.4.0 cabal.config

Size: 813 KB - Last synced: about 1 year ago - Pushed: over 2 years ago

obsidiansystems/beam-automigrate

Generated migrations for beam databases

* beam-automigrate.cabal

Size: 591 KB - Last synced: 10 days ago - Pushed: 3 months ago

commercialhaskell/curator

Haskell Stackage curator build tool

* curator.cabal

Size: 250 KB - Last synced: about 1 month ago - Pushed: 3 months ago

thoughtpolice/strict-ghc-plugin 📦

A plugin for GHC to turn Haskell into a strict language

* strict-ghc-plugin.cabal

Size: 119 KB - Last synced: 16 days ago - Pushed: over 11 years ago

msakai/data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell

* data-interval.cabal

Size: 240 KB - Last synced: 4 months ago - Pushed: 4 months ago

alanz/ghc-exactprint

GHC version of haskell-src-exts exactPrint

>=0.5 ghc-exactprint.cabal
* ghc-exactprint.cabal
>=0.5 ghc-exactprint.cabal

Size: 4.13 MB - Last synced: 12 days ago - Pushed: 12 days ago

chrisdone/intero 📦

* intero.cabal

Size: 2.21 MB - Last synced: 30 days ago - Pushed: about 4 years ago

nathankot/wsproxy

Websockets proxy server written in Haskell

0.4.1 cabal.config

Size: 219 KB - Last synced: 12 days ago - Pushed: about 9 years ago

karshan/syntack

* syntack.cabal

Size: 230 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago

alanz/aws-dynamodb-play

Working through AWS getting started example

0.4.4 cabal.config

Size: 141 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago

sifisifi/subscribe-jpsubreddits

0.4.4 cabal.config

Size: 129 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

k-bx/timeoutbug

Trying to reproduce timeout bug with snap and wreq

0.4.4 cabal.config

Size: 121 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

lspitzner/data-tree-print

>=0.6 && <0.8 data-tree-print.cabal

Size: 8.79 KB - Last synced: about 1 hour ago - Pushed: over 2 years ago

flipstone/glados

Hacklab Access Management System

0.5.1 cabal.config

Size: 11.8 MB - Last synced: about 1 year ago - Pushed: over 8 years ago

wesleyan/admiral

Administration of CMDR daemons

0.4.4 cabal.config

Size: 219 KB - Last synced: 11 days ago - Pushed: over 9 years ago

jgbm/cpgv

==0.6.* cpgv.cabal

Size: 729 KB - Last synced: 6 days ago - Pushed: over 7 years ago

polysemy-research/polysemy

:gemini: higher-order, no-boilerplate monads

==0.7.* polysemy.cabal
==0.7.* polysemy.cabal

Size: 1.11 MB - Last synced: 1 day ago - Pushed: about 1 month ago

bishboria/structuralinduction.com

structural induction site's code and content

0.4.2 cabal.config

Size: 117 KB - Last synced: about 1 year ago - Pushed: over 9 years ago

alcidesv/ReH

A prototype webserver speaking SPDY/HTTP2

0.4.3 cabal.config

Size: 379 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

bsummer4/habits

Habit Management

0.4.1 cabal.config

Size: 541 KB - Last synced: about 1 year ago - Pushed: over 8 years ago

ddssff/debian-tools-retired

Retired repository containing autobuilder, debian-repo, cabal-debian, and process-progress (2012-2014)

* autobuilder/AutoBuilder.cabal
* cabal-debian/cabal-debian.cabal
* cabal-debian/test-data/artvaluereport2/input/artvaluereport2.cabal
* cabal-debian/test-data/creativeprompts/input/creativeprompts.cabal
* debian-repo/debian-repo.cabal

Size: 28.7 MB - Last synced: about 1 month ago - Pushed: over 9 years ago

sajith/bmp2xpm

What is the deal about Haskell parallelism?

0.4.4 cabal.config

Size: 453 KB - Last synced: about 1 year ago - Pushed: over 3 years ago

ncreep/taste_of_haskell

Material for the "Taste of Haskell" talk

0.4.4 code/cabal.config

Size: 655 KB - Last synced: 12 months ago - Pushed: over 6 years ago

GaloisInc/pads-haskell

A domain specific language for processing ad-hoc data.

>=0.4 pads-haskell.cabal

Size: 1010 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

GaloisInc/json

Haskell JSON library

>=0.3.3 json.cabal

Size: 109 KB - Last synced: 10 months ago - Pushed: 10 months ago

seereason/image-cache

Manage an image cache using acid-state, process-listlike, libjpeg-progs, netpbm, etc

* image-cache.cabal

Size: 757 KB - Last synced: 29 days ago - Pushed: 29 days ago

adamgordonbell/StockPredict

* StockPredict.cabal

Size: 266 KB - Last synced: 11 months ago - Pushed: over 9 years ago

lolotp/Mafia

Mafia in Haskell

0.4.4 cabal.config

Size: 344 KB - Last synced: 1 day ago - Pushed: almost 9 years ago

wayofthepie/coursera-client

0.4.4 cabal.config

Size: 129 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago

agda/agda2hs

Compiling Agda code to readable Haskell

>=0.7 agda2hs.cabal

Size: 4.22 MB - Last synced: 6 days ago - Pushed: 6 days ago

Package Usage: hackage: syb

Dependent Repos 1,559