wmacmil Goto Github PK
Name: Warrick Macmillan
Type: User
Location: Brooklyn New York
Name: Warrick Macmillan
Type: User
Location: Brooklyn New York
basic category theory library implemented extending McBride's CS410 code, syntax largely influenced by Awodey.
Implementation of FSAs in agda
GF Implementation of (approximate) Agda Concrete & Abstract Syntax
Generic Proofs about Alpha Equality and Substitution
Organization and planning for the Initial Types Club
Simple Action 2 LTL library
files for Computational Syntax course at University of Gothenburg
Coq semantics for the GF FraCas suite
simple demonstration to overcome application precedence difficulties
Community contributions to the Grammatical Framework
Examples how to use GF grammars from another program
An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax
An implementation of Gödel's T in GF
a sandbox for neural networks in haskell
A repository for GF translations between agda implementations and natural language presentations of HoTT proofs.
An open repository with everything I can think of regarding the Library of Babel
LT2212 V19 Assignment 2
LT2212 V19 Assignment 3
GU LT2222 V22 assignment 2
Implementation based off Huth & Ryan's LOGIC IN COMPUTER SCIENCE
papers of Per Martin Löf
Introduction to programming language theory in Agda
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.