brandonwillard Goto Github PK

eemeter

Core methods, models, and structures for the Open Energy Efficiency meter.

emacs-jupyter

An interface to communicate with Jupyter kernels in Emacs.

etuples

Python S-expression emulation in a tuple-like form

etuples-feedstock

A conda-smithy repository for etuples.

gl

Project folder for integral / global-local mixtures paper

gl-survey

Survey paper files

graph_def_editor

GraphDef Editor: A port of the TensorFlow contrib.graph_editor package that operates over serialized graphs

hebigo

(heh-bee-go) An indentation-based skin for Hissp.

hissp

It's Python with a Lissp.

history-of

History of OpenPlans so far, from ~2000 to 2014.

horseshoe-review

Review paper for horseshoe prior and Lasso

hslike

hsplus-python

Python implementations of the Horseshoe+ prior

hy

A dialect of Lisp that's embedded in Python

hy-mode

Hy mode for Emacs

hydiomatic

The Hy Transformer

hypokanren

A microKanren implementation in Hy with constraints

ibis

A pandas-like deferred expression system, with first-class SQL support (Impala, PostgreSQL, SQLite, ...)

icfp2017-artifact-auas7pp

ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems

icfp2020

Paper submission for ICFP2020 miniKanren workshop

interegular

Allows to check regexes for overlaps. Based on greenery by @qntm.

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

kanren

An extensible, lightweight relational/logic programming DSL written in pure Python

kanren-old

Logic Programming in Python

lark

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

latte

LaTTe : a Laboratory for Type Theory experiments (in clojure)

libcst

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

llvm-mode

Improved emacs major-mode for LLVM IR source

llvmlite

A lightweight LLVM python binding for writing JIT compilers

logical-unification-feedstock

A conda-smithy repository for logical-unification.