jwiegley Goto Github PK
Name: John Wiegley
Type: User
Company: @kadena-io
Bio: Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
Twitter: jwiegley
Location: California, USA
Name: John Wiegley
Type: User
Company: @kadena-io
Bio: Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
Twitter: jwiegley
Location: California, USA
A library for transliterating between different representations of the Arabic alphabet.
A Growl-like alerts notifier for Emacs
An implementation of the Haskell ByteString library using the Fiat system from MIT
A group scheduling solver for Copper to Gold
Utility for creating .hsc files from C API header files
Common Lisp library for working with commoditized amounts and balances
Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
An axiom-free formalization of category theory in Coq for personal study and practical work
A library for comparing data structures in Rust, oriented toward testing
Control theory in Haskell: Data structures, algorithms and adapters
A formalization of finite, constructive log analysis using linear temporal logic
A function definition package for Coq
A library for formalizing Haskell types and functions in Coq
A library of general theories that I find useful; an incubator for submissions to Coq or coq-extlib
A reflection-based proof tactic for lattices in Coq
Stateful directory scanning in Python. Makes a great ~/.Trash cleaner.
A Python script for cataloging offline media and disk archives.
My .emacs.el file and other personal Emacs goodies
Simple library for asynchronous processing in Emacs
A complete chess client written in Emacs Lisp.
Auto-format source code in many languages with one command
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.