capn-freako Goto Github PK

agda-stdlib

The Agda standard library

agda_misc

Miscellaneous Doodlings in Agda

ami-tool

Haskell tools for creating IBIS-AMI models

bayhac_2015

Code and presentation from "Cracking the Vigenere Cipher in Haskell" lightning talk.

bro

Bro is a powerful network analysis framework that is much different from the typical IDS you may know. Official mirror of git.bro.org/bro.git .

broccoli-haskell

Haskell bindings to Broccoli, Bro's client communication library.

broker-haskell

Haskell bindings to Broker, Bro's messaging library.

capn-freako.github.io

:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.

cdt-builds

conda-forge cdt builds

chaco

Chaco is a Python package for building interactive and custom 2-D plots.

circat

A categorical framework for circuit construction

concat

Constrained categories

emacs

My Emacs configuration files.

enable

Enable: low-level drawing and interaction

fft-ccc

Fast Fourier Transform expressed using Circat / Lambda-CCC.

finance

Various works relating to finance and investment.

freaky-chess

Chess game written in Haskell

ftd2xx

ftd2xx is a simple python wrapper around the D2XX DLL from FTDI using ctypes

gettasks

Haskell tool for parsing Gitit journal repository for uncompleted action items.

gitit

A wiki using HAppS, pandoc, and git

gitit-to-blog

Convert a gitit-friendly markdown page to HTML, including various transformations

graphite

A parallel, distributed simulator for multicores.

haskell-cpython

haskell-rl

Reinforcement learning in Haskell.

haskell_misc

Miscellaneous Haskell code snippets.

haskell_ml

Various examples of machine learning, in Haskell.

hmatrix

Linear algebra and numerical computation

hp2any

Haskell space profiling toolset

ibisami

A public domain IBIS-AMI model creation infrastructure for all to share.

ipython_notebooks

a collection of short, one-topic engineering presentations, containing a mix of narrative and real (Python) code, along with its output.