Type: User
Bio: This account is public and will be associated with my resume. The history on this account is non-comprehensive.
O, GitHub, your README.md template irks me.
I imagine that in the future, more information will adorn this file.
In the meantime, I will state that I value correctness, elegance, and good documentation, that I generally use Haskell, and that if you use permissive licenses, then you can request my help. I might surprise you.
andrewchawk
Config files for my GitHub profile.
cl-xmpp
Cleaned-up version of CL-XMPP.
coq-chick-blog
🐣 A blog engine written and proven in Coq
coq-tutorial
A self-contained Coq tutorial without any import. It proves insertion sort is correct and addition is associative.
countdown-bar
Spawns a rectangular window where a colored bar ticks down towards the middle of the screen over 25 minutes.
emmental
A language based on meta-circular interpreters, precursor to Mascarpone.
funcl
Computer algebra system for Common Lisp
galois-fields-lisp
Common Lisp library for calculating in Galois fields
glados-2023
A Scheme interpreter in Haskell.
haskell-invoice
Easily generate PDF invoices which are emailed automatically to the client.
hocket
Hocket the Haskell pocket client
hs-to-coq
Convert Haskell source code to Coq source code.
huffman-canon
Canonical Huffman encoder/decoder for Common Lisp
mathcan
Share mathematics on the web with LaTeX and Markdown
newtonx
A Newtonian, rigid body physics engine for Haskell.
portcullis
A minimalist / functional / dataflow programming language
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
