webyrd Goto Github PK
Name: William E. Byrd
Type: User
Company: University of Alabama at Birmingham
Location: Cambridge, MA
Blog: http://www.webyrd.net
Name: William E. Byrd
Type: User
Company: University of Alabama at Birmingham
Location: Cambridge, MA
Blog: http://www.webyrd.net
Code from the 2011 Scheme Workshop Paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters"
Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."
Learn to program C on your Commodore 64 (C64) with Abacus Super C.
miniKanren with Variational Inference
Nominal logic programming extensions to miniKanren, based on alphaProlog.
Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
Functional implementation of anti-unification algorithm for multiple terms
Code from the Tutorial Thursday hangout of 2 May 2013 on using mutual-recursion to represent automata
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
Prototype smart text editor
Simple livecoded bookstore for C203
Code from my (virtual) talk for the Boston Clojure Group, 12 Feb 02015
Java code to help us grade the 'errorbonus' extra credit question on HW3.
Cartesian product of multiple evalos
Concatenative relational interpreter in miniKanren
CellO: Gene expression-based hierarchical cell type classification using the Cell Ontology
Chez Scheme
Clever Algorithms: Nature-Inspired Programming Recipes
Experiments using set constraints (CLP(Set)) to represent environments in relational interpreters, etc.
CLP(Set) in miniKanren
CLP(SMT) on top of miniKanren
Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
CodeMesh 2015 miniKanren talk
'Computation, Languages, and Research: An Idiosyncratic View' by William E. Byrd
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
miniKanren with declarative copy term (copyo)
Cur dependently-typed language in miniKanren.
Cytogenetic Genomic Analysis in Racket
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.