BNFC
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled...
Latest release 2.8.1 - Updated - 255 stars
lol-apps
This library contains example cryptographic applications built using lol, a general-purpose libra...
Latest release 0.2.0.2 - Updated - 83 stars
lol
Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography. For a detailed desc...
Latest release 0.6.0.0 - Updated - 83 stars
rlwe-challenges
Contains a library for reading serialized challenges (generated with hprotoc) and an executable u...
Latest release 0.1.0.1 - Updated - 83 stars
ajhc
Ajhc is a fork of jhc. The jhc is a haskell compiler which aims to produce the most efficient pro...
Latest release 0.8.0.10 - Updated - 133 stars
lol-benches
This library contains code to benchmark lol. It is designed so that third-party tensors can be ea...
Latest release 0.0.0.5 - Updated - 83 stars
lol-repa
Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography. This package provid...
Latest release 0.0.0.2 - Updated - 83 stars
lol-cpp
Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography. This package provid...
Latest release 0.0.0.3 - Updated - 83 stars
missing-py2
A Haskell Interface into the standard Python Interpreter A fork of John Goerzen's MissingPy libr...
Latest release 1.0.1 - Updated - 2 stars
infernu
This version is highly experimental and may set your computer on fire (also, a lot of JS is not s...
Latest release 0.0.0.1 - Updated - 273 stars
resolve-trivial-conflicts
Remove trivial conflict markers in a git repository
Latest release 0.3.2.4 - Updated - 116 stars
lol-tests
This library contains code to test Λ ∘ λ (Lol). It is designed so that third-party tensors can be...
Latest release 0.0.0.1 - Published - 83 stars
hoq
For package maintainers and hackage trustees A language based on homotopy type theory with a...
Latest release 0.3 - Updated - 51 stars
geni-util
Tools included: client - sends all test cases from a GenI suite to geniserver, and saves resul...
Latest release 0.25.0.1 - Updated - 18 stars
smcdel
See README.md and SMCDEL.pdf for references and documentation.
Latest release 1.0.0 - Published - 9 stars
hcwiid
HCWiid is a working userspace driver along with various applications implementing event drivers, ...
Latest release 0.0.6.1 - Updated - 7 stars
calculator
A calculator repl that processes mathematical expressions. Does basic arithmetic, and provides pr...
Latest release 0.4.1.2 - Updated - 6 stars
plot-gtk-ui
A pre-built ui for plotting based on plot. Quicker to use than plot-gtk, but less configurable, a...
Latest release 0.3.0.2 - Updated - 4 stars
network-house
The network stack extracted from the House (https://code.google.com/p/pdxhouse/) project. Provi...
Latest release 0.1.0.2 - Updated - 9 stars
suffixarray
n log n implementation of suffix array.
Latest release 0.0.3.1 - Updated - 4 stars
hascar
Decompressor command line utility and library for SAP's SAPCAR format.
Latest release 0.2.2.1 - Updated - 2 stars
mathgenealogy
A command line program for extracting data from the Mathematics Genealogy Project (http://genealo...
Latest release 1.4.0 - Updated
Irc
Irc is a monadic DSL and library for writing Irc bots. It conveniently utilizes do notation in th...
Latest release 0.1.0.2 - Published - 4 stars
diophantine
A library for solving quadratic diophantine equations. This library is designed to solve for equ...
Latest release 0.2.1.0 - Updated - 3 stars
list-prompt
See https:github.comyamadapclist-prompt
Latest release 0.1.1.0 - Updated - 3 stars
Haggressive
Aggression analysis for Tweets on Twitter
Latest release 0.1.0.4 - Updated - 3 stars
roller
A basic library and program for simulated rolling of polyhedral dice, as would be used in pen and...
Latest release 0.1.7 - Updated - 3 stars
base-io-access
An attempt to break up the monolithic IO monad into small, composable classes that can be used to...
Latest release 0.4.0.0 - Updated - 2 stars
jdi
Implementation of Java Debug Interface
Latest release 0.0.3 - Published - 2 stars
hzulip
This a Zulip API wrapper for Haskell.
Latest release 1.1.1.1 - Updated - 1 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search