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
Keith Pinson's Projects
hugo-tutorial-site
Website created during learning Hugo tutorial
idris-dev
A Dependently Typed Functional Programming Language
javascript-koans
Koans to learn Javascript
katasemeion
A markdown-inspired markup language for formatting Biblical texts
kazark.github.io
My personal home page
lambdaconf-2016-usa
Repository for LambdaConf 2016 USA.
lc.idr
Attempt at implementing lambda calculus in Idris
lightandlight.github.io
Personal GitHub Pages site
line80
Enforce that your code <80 characters per line
mal-fsharp
Make a Lisp in F# - taken from standard Mal F# implementation and modded during LambdaConf 2016
mules
Caches are tricky - Let Mules Haul its Weight.
munit
Scala testing library with actionable errors and extensible APIs
nimsockets
Playing around with TCP Sockets in Nim for the sake of learning
nineninths
Proof in Idris of the theorem that 1 = 0.999...
notiv8tr
Motivate yourself by noting progress on your projects
org-appear
Toggle visibility of hidden Org mode element parts upon entering and leaving an element
org-present
Ultra-minimalist presentation minor-mode for Emacs org-mode.
paket
A dependency manager for .NET with support for NuGet packages and Git repositories.
paket.vim
Vim syntax highlighting for Paket files
pghtechfest2016
Materials from Pittsburgh TechFest 2016.
plaintextdb
Simple, pretty-printed data tables for small datasets with all the Unixy benefits of plain text
plasticboy-vim-markdown
Markdown Vim Mode
plylet
Simply typed lambda calculus - lambda abstractions + let expressions + implicit coercions
pre-commit-scalafmt
Scalafmt hook for pre-commit
prolorg
A constraint language for Org Mode properties (Prolog + Org)
queries.idr
An investigation into DSLs with free monads and queries etc, using Idris
record5
Just a little Haskell exercise
rediculous
REmote DIctionary Client, that's hysterical.
replace-whitepaper
Why I think .NET replace behavior is bad
reverse
Help a musician fit a tune to a non-metrical text
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 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.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
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.