capn-freako

PyBERT

Serial communication link bit error rate tester simulator, written in Python.

PyAMI

Python package for IBIS-AMI model development and testing

Haskell_ML

Various examples of machine learning, in Haskell.

ibisami

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

PyChOpMarg

Python implementation of COM, as per IEEE 802.3-22 Annex 93A.

haskell-rl

Reinforcement learning in Haskell.

agda-stdlib

The Agda standard library

agda_misc

Miscellaneous Doodlings in Agda

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.

concat

Constrained categories

emacs

My Emacs configuration files.

enable

Enable: low-level drawing and interaction

freaky-chess

Chess game written in Haskell

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

haskell-cpython

linalg

Linear algebra after Fortran

opt-expect

pandoc-include

An include filter for Pandoc

parsec.py

A universal Python parser combinator library inspired by Parsec library of Haskell.

plfa.github.io

Introduction to programming language theory in Agda

public

Miscellaneous items for sharing.

pyface

pyface: traits-capable windowing framework

scikit-rf

RF and Microwave Engineering Scikit

spice-mode

Major mode for SPICE.

systemc-1

Core SystemC Library

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators