kazark Goto Github PK
Name: Keith Pinson
Type: User
Bio: In imitation, creating through language. Linux, Emacs, type theory, functional programming, metaprogramming, compilers, build systems, language design.
Location: Undisclosed
Name: Keith Pinson
Type: User
Bio: In imitation, creating through language. Linux, Emacs, type theory, functional programming, metaprogramming, compilers, build systems, language design.
Location: Undisclosed
Website created during learning Hugo tutorial
A Dependently Typed Functional Programming Language
Koans to learn Javascript
A markdown-inspired markup language for formatting Biblical texts
My personal home page
Repository for LambdaConf 2016 USA.
Attempt at implementing lambda calculus in Idris
Personal GitHub Pages site
Enforce that your code <80 characters per line
Make a Lisp in F# - taken from standard Mal F# implementation and modded during LambdaConf 2016
Caches are tricky - Let Mules Haul its Weight.
Scala testing library with actionable errors and extensible APIs
Playing around with TCP Sockets in Nim for the sake of learning
Proof in Idris of the theorem that 1 = 0.999...
Motivate yourself by noting progress on your projects
Toggle visibility of hidden Org mode element parts upon entering and leaving an element
Ultra-minimalist presentation minor-mode for Emacs org-mode.
A dependency manager for .NET with support for NuGet packages and Git repositories.
Vim syntax highlighting for Paket files
Materials from Pittsburgh TechFest 2016.
Simple, pretty-printed data tables for small datasets with all the Unixy benefits of plain text
Markdown Vim Mode
Simply typed lambda calculus - lambda abstractions + let expressions + implicit coercions
Scalafmt hook for pre-commit
A constraint language for Org Mode properties (Prolog + Org)
An investigation into DSLs with free monads and queries etc, using Idris
Just a little Haskell exercise
REmote DIctionary Client, that's hysterical.
Why I think .NET replace behavior is bad
Help a musician fit a tune to a non-metrical text
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.