hub.darcs.net :: all public repos

all public repositories

• timelike :: esz

  Type classes for types representing time

• timelike-clock :: esz

  Timelike interface for System.Clock (clock library)

• timelike-time :: esz

  Timelike interface for Data.Time

• timesheet :: dino

  Add up timesheet values (Haskell)

• timezone-olson :: k0001

  timezone-olson

• timing :: fx

  Better timing by subverting gettimeofday

• tjoa :: dolio

• tmp :: supa_box

  ok

• todo :: hard_lines

• TODO :: ownwaterloo

  todo

• tokenizer-monad :: enum

  An efficient and easy-to-use tokenizer monad.

• tokenizer-streaming :: enum

  A variant of tokenizer-monad that supports streaming.

• tomographie :: krystopher

  creation de sinnogramme à partir d'image puis une reconstruction tomographque est faite sur les transformé de radon

• ton :: leg

  Fast Tcl only JSON parser

• Tools :: rprije

• TopDownOperatorPrecedenceParser :: Rohan

  A translation of Douglas Crockford's TDOP parser for (simplified) JavaScript in (simplified) JavaScript

• topsite :: kawu

• tp_phys_502 :: krystopher

• tp_vision :: krystopher

  a repo to work picture processing

• tp_visualisation :: krystopher

  tp g-p bonnot

• trac-darcs :: lelit

  Darcs plugin for Trac

  forks:

  • fx's trac-darcs
• trac-statistics :: kmels

  A command line tool to generate statistics about a given trac timeline url

• tracer :: tilk

  Tracer

• track-division :: physis

  School math web app for teaching manual long division

• tradebot :: wlangstroth

  Trading bot

• trading :: wlangstroth

  Trading library and scripts

• transfer-db :: mihaigiurgeanu

  Simple SQL/CLI application that transfers data between 2 databases.

  forks:

  • mihaigiurgeanu's transfer-db-test-blob
• transfer-sample-db :: mihaigiurgeanu

  Sample database setup to test the [transfer-db](https://hub.darcs.net/mihaigiurgeanu/transfer-db) project.

• transformers :: ross

  concrete functor and monad transformers

  forks:

  • andrewthad's transformers
  • bradparker's transformers
  • chris-martin's transformers
  • codeshot's transformers
  • Daniel-Diaz's transformers
  • fizruk's transformers
  • gelisam's transformers
  • hvr's transformers
  • Icelandjack's transformers
  • int-index's transformers
  • jtapolczai's transformers
  • lfairy's transformers
  • marinelli's transformers
  • mvv's transformers
  • ocramz's transformers
  • pcoves's transformers
  • rprecenth's transformers
  • RyanGlScott's transformers
  • SamuelSchlesinger's transformers
  • sgraf812's transformers
  • strake's transformers.hs
  • tmcgilchrist's transformers
  • williamrusnack's transformers
• transGraph :: evelyn

  a tool for graphing public transit networks

• Translations :: ALTron

  Устаревший репозиторий для переводов на русский язык. Новый репозиторий: https://gitlab.com/AL_Tron_/Translations

• Translator :: shivam

• tree-view :: arthur

  Haskell package for rendering trees as foldable HTML and Unicode art

• tri-license :: empowermentors

  License text for GFDL, FAL, & CC-BY-SA

• Tricad :: heathweiss

  Change over from fpComplete

• trm :: martingw

  trm

• truths :: navilan

  Truthtable generator

• tsp :: alx741

  TSP solving algorithms in Haskell

• tsp_browser :: tprimke

  TSP browser application.

• ttfd :: myode

• ttyLow :: ETB

  Collection of small C programs to run on routers for home automation.

• tubeRunner :: krystopher

  a repo to train myself with opengl and darcs after a little error when I erase all my headers files

• Turashaus :: jd_darcs

  fictive city with a growing tram network for jbss Bahn 3.89r4

• turedo2oritatami :: turedo2oritatami

  Python Compiler from Turedo to Oritatami

• turing :: dolio

  An Agda formalization of the halting problem for Turing machines

• tweet-hs :: vmchale

  Command-line Interface for Twitter

  forks:

  • djanatyn's tweet-hs
  • simonyang's tweet-hs
• twilightalign :: orfest

• twitbtw :: enum

  Bundestagswahl twitter analysis

• twitekv :: enum

  Eduskuntavaalit tweet analysis

• TwoPenceGUI :: e.ex.exi.exit

  Simple GUI Monad based on local web server which allows passing around of form data

• twtxtc :: dertuxmalwieder

  a twtxt client

  forks:

  • tg-z's twtxtc
• type-classes :: wlux

  Münster Curry Compiler (type-classes branch)

• type-equality-check :: jeltsch

  Type equality check

• type-functions :: jeltsch

  Emulation of type-level functions

• TypedHardware :: jdgallag

  Runtime Type Insurance

• types2015 :: thielema

  Slides for HaL-10 tutorial on Haskell 98 type tricks

• uacpid :: dino

  Userspace Advanced Configuration and Power Interface event daemon (Haskell)

• ubyte-classifier :: adth

  A tool used to classify ubyte data using lua-wnn

• ucs :: jeltsch

  Extended UTF-8 input encoding support for LaTeX

• UdaipurLadies :: natasa33

  Udaipur ladies are waiting for you

• udp-streaming :: mihaigiurgeanu

  Simple fire-and-forget udp Streaming components modelled after udp-conduit

• UI-Active :: physis

  An abstract-level library for generating animations from Haskell code

• uic-js :: al_hramyka

  User interface components written in JavaScript

• unArchivo :: dapascmo

• undo :: fr33domlover

  Undo/redo action stack library

• unicode :: thielema

  Construct and transform unicode characters

• Unique :: kapral

  Library provides the functions to find unique and duplicate elements in the list

  forks:

  • eborden's Unique
  • greenrd's Unique
  • matthew-eads's Unique
• unique-logic :: thielema

  Solve simple simultaneous equations

• unique-logic-tf :: thielema

  Solve simple simultaneous equations

• units :: nand

  Calculations with type-safe physical units

• unityped :: dolio

  Untyped lambda calculus with some theorems

• universes :: dolio

  Various universe constructions in Agda

• unix_util :: falsifian

• unizg-fer-seminar :: vjeranc

  seminar latex source

• unmed2 :: thielema

  Extract useful information from MED files

• unping_all_links :: dertuxmalwieder

  A Chrome extension to restore the option to turn off "hyperlink auditing".

• unpossible :: dolio

  agda development related to 'seemingly impossible' programs

• unsafe :: thielema

  Unified interface to unsafe functions

• upts :: dolio

  A parser, type checker and evaluator for a type theory with universe polymorphism

• urisort :: dragonmaus

  [Haskell] Hierarchically sort URIs

• urisort.rs :: dragonmaus

  [Rust] Hierarchically sort URIs and paths

• urweb-experiments :: dbp

  some code using ur/web, a language/web framework based on dependent types (ie, Coq, Agda, etc) - a login mechanism with salting

• uuid-example :: dino

  uuid library usage example (Haskell)

• vacuole :: lelf

• ValidCc :: jayce

  Based on Brent Yorgey's CIS194 Credit Card Validation homework assignment.

• vam-test :: dolio

  Testing VAM with darcs

• vc-darcs :: fx

  Emacs VC support for Darcs

  forks:

  • ddssff's vc-darcs
  • pbgc's vc-darcs
• vc-darcs_jch :: imz

  Emacs VC library for darcs (the one maintained by Juliusz Chroboczek with my patches)

• vcs :: m.andrew

• vcs-web-hook-parse :: fr33domlover

  Parse development platform web hook messages

  forks:

  • tommd's vcs-web-hook-parse
• vdna-menu-js-integrate :: inhortte

  All of the js becomes clojurescript

• vdna-menu-master :: inhortte

  The vdna menu

• vdna-menu-server-integration :: inhortte

  Adding a websocket

• vdna-menu-ticketpro :: inhortte

  Where I toss ticketpro beneath the menu

• vector-algorithms :: dolio

  Implementations of various algorithms for vector

  forks:

  • carter's vector-algorithms
  • coopercm's vector-algorithms
  • phadej's vector-algorithms
  • timjb's vector-algorithms
• vector-partition :: byorgey

• Vendetta-Source :: vendetta

  Source of modded suckless programs.

• venzone :: ffaf

  ASCII platform-adventure game

  forks:

  • simon's venzone
• venzone :: tg-z

  ASCII platform-adventure game

• vervis :: fr33domlover

  Decentralized project hosting platform

  forks:

  • tg-z's vervis
• vi :: mike13

  visual intelligence

• video-jukebox :: stepcut

  use youtube like a video jukebox

• video-manager :: jcast

• vim-darcs :: pointfree

  darcs support for vim

• vim-ghc-core :: dolio

  syntax highlighting for dumped ghc core files

• vim-hindley :: dolio

  Vim files for hindley Haskell indenting

• vimfiles :: dolio

  Cross-machine portions of my vim directory

• vimpacks :: dolio

  scripts for fetching the packages I use in vim

• vineetaiyer :: vineetaiyer

  Independent call girls in Kolkata, the most amazing sex and escort services provided by Indian women. Kolkata Escorts are beautiful, modern and well educated call girls in Kolkata.

• virgo :: sthagen

  Once it is up it will be gone.

• virtual-frodo :: rjregenold

  A virtual frodo for running your remote scrum standups.

• visual-smart-tabs :: lyro

  Use semantic indentation with tabs and spaces during editing and spaces-only on disk

• visual_intelligence_project :: adth

• viteo :: gerardo.corsan

  Viteo Project

• vocabulary-kadma :: fr33domlover

  Kadma entity identifiers in Haskell

• vocabulary-todo :: fr33domlover

  Todo ontology entity identifiers in Haskell

• voyageur_commerce_hpc :: krystopher

• VRAM :: martin

  Parallel Vector Model implementations

• vv :: wz304349013

• wakagmba :: gh

• wallaby :: dino

  Wallpaper picker app (Android, Java)

• wallofdoom :: simon

  small pygame demo for ludum dare #14

• wao :: wolfi

  My digitalized existence.

• wavelet :: thielema

  Research library for wavelets and refinable functions

• wavg-hs :: georgerogers42

• web :: position

  position website

• web-page :: ertes

  Monoidally construct web pages

  forks:

  • ertes-ag's web-page
• web-plugins :: stepcut

  dynamically loadable plugins for web applications

• web-routes :: stepcut

  type-safe URL routing

  forks:

  • dag's web-routes
  • tv's web-routes
• web-styles :: dag

• webapp2 :: joelteon

  webapp2

• webfinger-client :: fr33domlover

  WebFinger client library

• webp :: vmchale

  webp reading for JuicyPixels using libwebp

  forks:

  • The_Oddler's webp
• webrunner :: rver

  A wxHaskell based GUI for Haskell's webdriver library. Made to practice wxHaskell, needs cleanup (and some more functionality).

• website :: antoon

  my personal website

• website :: freeculture

  The main Free Culture Foundation website

• website :: fritjof

  official website

• website :: ppk

  My website

  forks:

  • Shubham's website
• website :: namesde

  My website

• wego :: nbrk

  Functional WEGO-simulation project

• weshift :: position

• wfdb :: vmchale

  WFDB bindings for Haskell

• wiki :: basilisk

  Basilisk's wiki

  forks:

  • dcalhoun's wiki
• wiki.kunoundkunigunde.org :: stefan

  Quelldateien des http://wiki.kunoundkunigunde.org-Wiki

• williams.pm :: notunrandom

  Personal home page and blog

• willow :: ag.eitilt

  An HTML parser and browser following functional ideals.

• Win32-extras :: shelarcy

  Provides missing Win32 API

• Win32-services-wrapper :: ganesh

  Wrapper for easily running a Win32 service

• winter-holiday-2014 :: mgampkay

  Code snippets written in winter holiday in 2014

• Wintervorrat :: hdd

  Challenge from 36th BW Inf 2017

• wires :: ertes

  Functional reactive programming library

  forks:

  • schell's wires
• wires :: ertes-ag

  Locally stateful components

• wires :: ertes-m

  Functional reactive programming library.

• wires :: esz

  Functional reactive programming library

• wittenberg2019 :: thielema

  donation box for the school Friedrichstadt in Wittenberg

• wl-pprint-text :: dag

• wl-pprint-text :: ivanm

  A Wadler/Leijen Pretty Printer for Text values

  forks:

  • taylorfausak's wl-pprint-text
• wmmix :: ETB

  A Pulse Audio mixer for Window Maker

• wnn :: adth

  a simple weightless neural network library in C

• wordchoice :: vmchale

  A command-line tool to help you with your word choice

• workshop-krypto :: ertes-ag

  Krypto-Workshop (German)

• wrk-newtype-read :: dino

  Exploring a problem with deriving instances

• wrk-newtype-serial :: dino

  Exploring de/serializing newtypes with Aeson

• wrk-safedir :: dino

  Exploring safe directory handling with phantom types

• wrk-sqlpersist-types :: dino

  Exploring the types in persistent-sqlite

• wtfenum :: enum

  forks:

  • enum's waitingforgpn
• x-client :: fr33domlover

  Write GUIs for the X Window System

• xcxsound :: refi64

• xml-pardner :: rycee

  A simple XML parser and renderer with support for streaming

• xmobar :: ksander314

  My xmobar configuration

• xmobar-vanessa :: vmchale

  Personal XMobar library setup

• xmonad :: ksander314

  My xmonad configuration

• xmonad :: zabbal

  Near-perfect window manager implemented with XMonad

• xmonad-config :: co-dan

  My XMonad configuration

• xmonad-config :: vonabarak

  My xmonad config

• xmonad-contrib :: kmels

  My working xmonad-contrib

• xmonad-contrib :: pallly

  xmonad-contrib fork

• xmonad-contrib-gpl :: kaction

  GPL-licensed XMonad modules

• xmonad-spotify :: vmchale

  Spotify + XMonad via dbus

• xmonad-vanessa :: CaninoDev

  Custom setup for xmonad

• xmonad-vanessa :: vmchale

  XMonad configuration package

• xmonad-volume :: vmchale

  Volume control for XMonad

• xmonad-xmobar-config :: dino

  My personal xmonad and xmobar configuration (Haskell)

• XMonadContrib :: kmels

• XMonadTasks :: navilan

  Dynamic templatized workspaces for XMonad.

• xpathrepl :: MasseR

  XPath 1.0 repl. For faster testing

• XPTO :: SrPuma

  KKK

• xt-erl :: squirrel

  Xt templating language (Erlang libraries)

• xt-ocaml :: squirrel

  Xt templating language (OCaml server)

• xtab :: gh

• yangziqiang :: ZIQIANG059

  drop_impact

• yate :: thoferon

  Yet Another Template Engine (Haskell library)

• yhdessa :: enum

  Yhdessä is an online collaboration platform

• yices :: kyagrd

  inter process communication interface to Yices SMT solver via unix pipe

• yig :: BitPuffin

  A low level functional programming language based an idea of containers that define an immutable context

• yle-uudizet-karjalakse :: enum

  Downloader and sentence alignment assistent for parallel Karelian and Finnish texts from Yleisradio.

• your-password-sucks :: ertes

  Presentation about passwords.

• youtube :: thielema

  Upload video to YouTube via YouTube API

• yui :: dag

  Haskell packages for using YUI

• yzh :: CKPA5FRnPP7UAdkDQ8cv

  forks:

  • CKPA5FRnPP7UAdkDQ8cv's yzh-
  • CKPA5FRnPP7UAdkDQ8cv's yzh--
• z4j6cwvy3k :: CKPA5FRnPP7UAdkDQ8cv

• zalora :: yk

  selection task for Zalora

• zbar :: vmchale

  zbar library bindings for Haskell

• zdoom :: gh

  forks:

  • tg-z's zdoom
• ZDZiYzk1NDBkNmQ2MmExZjgzNDgyYTI3ZDZiYzk1NDBkNmQ2MmExZjgzNDgyYTI3 :: CKPA5FRnPP7UAdkDQ8cv

• zefram :: jirkazr

• ZenityHs :: matthewmoppett

  Haskell wrapper for Zenity

• zeromedia-client :: oschwand

  Zeromedia command-line client

• zeromedia-server :: oschwand

  A simple MQTT-controlled MPV-based media player

• zeromedia-web :: oschwand

  Zeromedia web client

• zlobek-zory :: kawu

• zshrc :: crough

  Personal zshrc configuration

• ztail :: dylex

  multi color filter tail

  forks:

  • telser's ztail
• zurihac2015-projects-server :: ocharles

  A web application to allow participants of ZuriHac 2015 to share their work. Code for my "Beginning Web Programming" talk

• ZWiki_old :: simon

  Old repo, see https://github.com/simonmichael/ZWiki/ instead