paulcadman Goto Github PK

adt

ADT support for Clojure

alg

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

alpine-haskell-stack

analogue

angular

angular2typescriptwebpack

aoc-2018

Advent of code 2018

arrow

Functional companion to Kotlin's Standard Library

arrow-fsm

Playing with the arrow library with a simple FSM

brial

Successor to PolyBoRi

build

The build script that drives the validator build.

catala

Programming language for literate programming law specification

certified-programming

ckrecordcodable

clj-kondo

A linter for Clojure code that sparks joy.

clj-time

A date and time library for Clojure, wrapping the Joda Time library.

clj-time-intersect

A clojure function to intersect two clj-time intervals

clojure-jni-example

An example of calling C code from Clojure through JNI

coding-interview-university

A complete computer science study plan to become a software engineer.

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

cost-logger

cost-logger-backend

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

curl-runnings

The fastest way to write curl based integration tests for your API

data.xml

dhall-haskell

A configuration language guaranteed to terminate

dhall-to-cabal

Compile Dhall expressions to Cabal files

dhall-to-jenkinsfile

Compile Dhall expressions to pipeline Jenkinsfiles

docker-jenkins

Jenkins in a Docker container