Rename photo image files based on EXIF shoot date (Haskell)
Analyzing the complete checkbook for the city of Phoenix in the year 014
Physical units and quantities with type-checked dimensions in Lean4
Small applications for PIC microcontroler, each in it's own directory
Display pictures in directories
Pijul.org
pijul, redux
A client for smiled
Pipes based web API for Discogs
pipes-based interface to calling processes
A zlib decoder pipe.
Compiler for an experimental stack-based, concatenative language
Project Euler
arch builds
A representation of planar graphs
config for planet.darcs.net
config for planet.squeak.org and friends
dale planet game
quick hacks and snippets
get an overview of a Plone or CMF site's skins
Dynamic linking for Haskell and C objects
pure memory logic tableau prover
A dump extractor for poedit format
High-level binding to libpoker-eval
Constrained dynamic typing
Experimental re-implementation of polyparse
A flow analysis for a higher order language
Ponte del Diavolo board game AI
Run jobs on a limited number of threads and support data dependencies
Translation items of a po-file can be replaced automatically from a csv file
index page.
PortMidi utilities
run a command each time a HTTP POST request is received
Souvenirs over Web
A very simple SQL database migration system
A short text adventure game hastily made for LibreJam 202204.
Parallel batch driver for QuickCheck
la mejor descripcion
coding practice
Used to test piece of code for testing
Provide Prelude and Data.List with fixed content across GHC versions
Provide Prelude with fixed content across GHC versions
Pretty-print trees
Nuestro primer repositorio
[Rust] Print environment variables
A parser for /proc/net/{tcp,tcp6,udp,udp6}
Enterprise resource planning
about me
Solutions
some project euler solutions in haskell
Squeak package to set up Genie gesture recognition
mon premier projet darcs
Organize info about projects into a block of Markdown (Haskell)
simulation de propagation d'onde
Pure-Haskell proper unicode string handling
Some experiments with protobuf and capnproto
Computations that automatically track data dependencies
control de ganado vacuno para las cuatro estancias
Esto es una prueba
Prueba
SIE
Pruebas 02
prueba2
buen repositorio
prueba 1
por fin
Cypress has cli tools that work under wine. Scripts to use them on Linux.
Convert psoc ascii diagrams to lists of coordinates, bits, and registers (not 100% correct)
x,y coordinates --> psoc config
psoc5lp place & route by hyperstatic scope
PSoC route <--> bit
psoc switch coordinate to register & bit mappings in tabular format for easy parsing and analysis
experimenting with the psoc5lp udb datapath using mecrisp-stellaris forth
A simple ODBC program to demonstrate a leak in psqlodbc driver
ParaTools. Tools to explore potential energy surfaces
A parser/type checker/evaluator for simple languages based on pure type systems
ParaTools. Tools to explore potential energy surfaces
school project for python course
Command line interface for Peter Scott's pwstore library
OCaml module dependency tool
Bindings to qhull library
minimalist mpd client
qqq
Inheritance exercise for CS355
Yet another substractive synthesizer
CUDA-based quantum computer simulator
A Chrome extension to display <meta> generator tags.
A GenT monad transformer for QuickCheck library.
Server-side api for web radio
A library to solve the Schroedinger equation for a spherically symmetric potential.
blog
Darcs Demo
How hard is it to think randomly
Article on -XRankNTypes
Helper library for hot reloading of code
soccer
finite or repeating lists
playing around with ray tracing
API for basic access to Razom semantic datastores
config files
my rcfiles
Random bits of code for C Scheme and Factor
Programmatically edit MIDI events via ALSA and reactive-banana
Extend reactive-banana to multiple events per time point
GTK bindings for reactive-banana
Process MIDI events via reactive-banana and JACK
Process MIDI events via reactive-banana
[Rust] Path resolver
swift app to scan and organize receipts
A flexible record system
Type-safe red-black-tree, proof of concept
The Haskell redis package
simple redis driver
game engine
Elixir releases tool
type safe form generation and validation
Text support fork of regex-base
Unicode Support version of Text.Regex, using regex-tdfa
Text support fork of regex-tdfa
Text interface for regex-tdfa
A DOM manipulation library for ClojureScript inspired by JQuery
Type relational algebra model
Relational = Tables + Vinyl
Type classes for potentially remote mutable variables
Turn an electric organ from the 1960's into a MIDI keyboard controller.
descricao
Eine BibLatex-Zusammenstellung von Mathematikbüchern für Nachhilfe und Verwandtes
Attempt to implement Cooley-Tukey Fourier transform in Repa, now deprecated in favor of accelerate-fourier
prueba
dos
jajaja
repositorio de dca
asdasd
Arquivos
Arquivos
API for management of DVCS repos
Apresentacao Darcs
Compute total resistance of a cube of resistors
my project
REusableTExtsPOrtfoliO
Rewriting Tools and Stuff
riak+dtrace
Ruby implementation of Nice tracker
asteroids game prototype in io
Calculate Returns on Investment
A util for configure our Tenda router
Small-scale routing using various optimizers
small example project
A simple, minimal command line rpn calculator
Solving matrixes using gaussian algorithm
[Rust] Simple runner for .rs files
Repo for the RSL language
irc bot for announcing rss/atom feeds
Start torrents directly from your feeds!
prueba1
sqlite logging for runs
resolution d'equation differentiel ordre 2 avec runge kutta
runSomething type class
Hello Dear, I am Rupal Sharma, a professional model and fashion designer in Mumbai. If anyone interested and want to make career in Modeling profession please visit our official page.
Misc code from my efforts learning Rust
My tutorial files of rust
Safe manual memory management in Haskell
An extension to Data.Serialize with built-in version control.
seeding synthesis
Swiss-army-knife file compressor/archiver
Mahjong Library for Haskell
Translation of HTML pages with automatic relinking
Sampling tools.
Sbcglobal-email Support Phone Number@(1 877 424 6647) Sbcglobal-email Technical Support Phone Number Call for Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number? Mail official phone number,,1-877-424- 6647,phone number for Sbcglobal-email Mail support,,Sbcglobal-email 24/7 support phone number,,Sbcglobal-email support number,Sbcglobal-email telephone number for support Sbcglobal-email technical phone number, Sbcglobal-email support phone number, Sbcglobal-email tech support number, Sbcglobal-email customer care number, Sbcglobal-email technical support number.... Support Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number,telephone number ? Support Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number,telephone number ? Support Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number,telephone number Sbcglobal-email 1-877-424-6647 customer service phone number Sbcglobal-emai
Data structures, classes and operators for constructing pretty output in Haskell
My Basilisk sandbox code
Sbcglobal-email Support Phone Number@(1 877 424 6647) Sbcglobal-email Technical Support Phone Number Call for Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number? Mail official phone number,,1-877-424- 6647,phone number for Sbcglobal-email Mail support,,Sbcglobal-email 24/7 support phone number,,Sbcglobal-email support number,Sbcglobal-email telephone number for support Sbcglobal-email technical phone number, Sbcglobal-email support phone number, Sbcglobal-email tech support number, Sbcglobal-email customer care number, Sbcglobal-email technical support number.... Support Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number,telephone number ? Support Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number,telephone number ? Support Sbcglobal-email 1-877-424-6647 Sbcglobal-email tech support phone number,telephone number Sbcglobal-email 1-877-424-6647 customer service phone number Sbcglobal-emai
Streaming Component Combinators
Streaming Component Combinators Wiki
a scheme interpreter using attoparsec and Text (not String)
it's terrible don't look at it
Exercises from Tom Schrijvers's "Soar with Haskell"
Beitrag zu Schulfrei-Festival 2015: Freies Lernen und Freie Software
Mathematical/physical/chemical constants
a build bot for cabal-powered projects
a build bot for cabal-powered projects
toy repo for using model
Miscellaneous scripts (bash, Haskell, Perl)
scripts that makes the life easier
Demo scripts in Guile scheme
A scrumboard made in Elm
Implimentation of trie in scala
Simple cabal package sets manager.
declarative image composition using sdl2
play audio using haskell sdl binding
A terminal application done in SDL.
a subject repository
A sample web application in functional style
haskell auto-compilation tool, my updates
Interacting with Selenium from Common Lisp
a collection of notes and stuff for bringing darcsden to the federated semantic web
Semantique backend.
Meteor frontend for semantique.
a portable binding to sendfile, etc
Sequencer 2.1 (obsolete)
Sequencer 2.2 (current)
Sequencer 2.3 (future)
Sequent Calculus GUI
Sequoia getbarley.com template
a simpler server library and few sample servers
curses set game
Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube
Runtime-editable program settings
A loving guide on setting up new Mac computers
Haskell library for storing data with s-expressions.
Soft computing playground
sgf file viewer for the game of go
[Rust] Shell interpreter
Shake rules for the google closure compiler
Library to minify CSS with shake
Utility functions for writing command-line programs
Shell scripts to accomplish a variety of tasks
A library for creating read-eval-print shells
Editline backend for Shellac
Readline backend for Shellac
cross-platform tool for testing command-line programs. The repo has moved: use https://github.com/simonmichael/shelltestrunner .
link shortener writen in haskell
A tiny and fun GLUT-based bullet hell shooter (this is the code.haskell.org repo converted to darcs-2 format)
Sierpinski's triangle using HGL+SOE in Haskell
The Sifflet visual functional programming language and aid to understanding recursive functions
The tech info
demo
An Agda proof of Smullyan's incompleteness with an accessible proof script
Simple wrapper around libssh2 in Haskell
A perceptron at its simplest
Simple LaTeX
A simple tree loader
SIP password cracker
site
site
site
site
site
site
Simple static site manager
Numerical values with units enforced at run-time
Bindings for the Skånetrafiken web API
Projekt skeleton
Project skeleton
A simple compass based style
A simple, smart and tiny data-centric dvcs for forth microcontrollers.
Go package slice provides support for slice utilities.
JSON library
collection of small scripts that I play with.
The smallest implementation of a Risc V core on ICE40 HW
Tools for working with Smaoin models
This is a spam filter library that can be used to find the spamminess of emails using bayesian filtering technique
The SMILE daemon
improved plain text editor for Standard Notes
SNAM cursor positioning system
A simple file-server based on snap-framework
Random snippets
snobol assignment for cs410w
Compute word stems in various languages
Emacs default colours, but in solarized colour palette
1Password-compatible password manager
Ejemplo de repositorio público
Ejemplo de repositorio público
Efficient numerical solvers
Co-de-Bruijn and category theory
cheatsheats + resources to save us all
Approximate a song from other pieces of sound
Play, write, read, convert audio signals using Sox
Write, read, convert audio signals using libsox
Write, read, convert audio signals using libsox - old conversion to darcs-2, I will delete it in the future
A game in space. Maybe a shooter.
a sparse threaded forth
A Logic Programming Library for Test-Data Generation
A tiny web wrapper for the OSX "say" program.
Combinatorial species
Colored hexes puzzle game (Android, Scala)
starterrepo
Functions for splitting lists
fuel injection
Support for Spring framework development in Scala
Open Group's Sql Call-Level Interface bindings for Haskell
Specific ODBC functionality for sqlcli package
ssh with bugfixes for darcsden
ssh with bugfixes for darcsden
A pure-Haskell SSH server library
ssh with bugfixes for darcsden
A pure-Haskell SSH server library (updated for darcs hub)
A pure-Haskell SSH server library (curve25519-sha256 kex)
A pure-Haskell SSH server library (updated for darcs hub)
fr33domlover's monad refactorings and pointfree's new kex in one repo
ssh-grant can manage the ~/.ssh/authorized_keys files on multiple machines in an optimal way.
Library to read the SSH known_hosts file
Conduit interface for the ssh package
A pure-Haskell SSH server library (updated for darcs hub)
A pure-Haskell SSH server library (updated for darcs hub)
A mostly Haskell SSH server library
Wrapper daemon to manage an ssh tunnel (Haskell)
ssssssss
ssss
This project is moving to github!
Identity-based memoization
Who's the best StackOverflow user?
[Haskell] Timestamp-based UUID
Postprocssing of audio streams for the Starquake songs
Monad transformers for holding bags of state
POC/experiments with Flink stateful functions in F#
Static page edu.tprimke.net.
Custom Neovim Statusline
Haskell bindings to stb_truetype
An application that creates an input device and pumps input events for what you give on stdin.
the wellposed stellar cluster of distributed computing awesome
A Haskell implementation of CISTEM.
stepik courses
STG
Slides for HaL-8 tutorial on Haskell programming style
An Agda proof of the Church-Rosser theorem for a simply typed lambda calculus with general recursion.
TMVars, TVars and TChans with distinguished input and output side
Analyzes consolidated bulk stock data.
A sandbox, imperative language
Wrapper that makes any Enum type Storable
Conversion between storablevector and carray
Faster Haskell lists using stream fusion
stringology examples in C
Functions for working with strings, including Text, ByteString, etc.
A Forth with strong static type checking.
here
Custom StumpWM configuration
Negative Nancy's C style guide
Haskell totally has subtyping, yes it does
A Sudoku solver as described in Graham Hutton's Haskell course
An 8-bit Vim (& more) color scheme filled with violets and purples
ATS examples
Create Sum Pyramid (Additionstreppe) exercises
projet proposé par ulysse vimont pour reconstruire un mesh à partir d'un ensemble de points
simple survey app
Pluck a list of IDs from SVG sprites & add metadata
[Rust] Source Vi - More convenient project editing
swift language repository
A SXML library in Haskell
Digital audio effect/synth generator
offline synthesizer
A simple synthesizer using JACK
slides for synthesizer-llvm tutorial on HaL 2016
A system for effectful programming
[Rust] Track program execution time
taskwarrior hooks for habitica
taskwarrior hooks for habitica
Two-dimensional data tables with rendering functions
Trouble at Chatswood Borough!
TAHOE-LAFS binding for Haskell
Exchange changeset between different VCs
Source code and PDFs of talks I've given
A tamagotchi implementation modeled in racket
An Org Mode based blog engine
[Rust] A simple utility to easily archive directories
Small personal task/project manager, for POC
signal post-processing for Tausend Sterne video
Very simple config file reading (Haskell)
Game mechanics library and related work (Haskell)
tea timer
Project for learning Haskell
Tiny Analog Network Coding implementation for the Teensy 3.1.
minimalistic & robust encrypted folder sharing
simple & robust dropbox replacement
Haskell website thingy
testing
Repository test
test
First project
My first darcs repo
get the fing thing working
first use of darcs
Just testing darcshub
just a test
test
just testing
test repo
Only test.
test_darcs
test
test
esto es una prueba
Test file modification at hub.darcs.net via its web interface
Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages.
Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages.
öλαßδō¹‘‘¹⁸δ²³δαßδōcẞKΔΦJÄΙJ
öÅÅäÏεKJKáºÎJΦ
just a test
test of using remote repo
Test asserts for databases
debugging some stuff for serde_cbor
Proving ground for Lisp web apps
esw
Generates testcases from program-snippets
Just test on hdbc
just testing stuff
test
SomeTest
test darcs
Emacs smart umlaut conversion for TeX
tex-tables
Magic tex environment for Emacs
Repository for non-source stuff
text adventure game engine, HERITAGE clone
ICU Transliteration for Haskell
Handling positions in plain text
[Haskell] String->Text compatibility
High-quality splittable pseudorandom number generator
Type-level integers, booleans, lists using type families
Template-Haskell code for tfp
Master thesis
Repo for the 'thrist' library
Tic Tac Toe game written with the SAFE stack
Cache current time and formatted time text
Moved to GitHub & new maintainer
Use a time unit class, but hold a concrete time type
Execute a computation with a timeout