Pinned Repositories
AoPL
A book on programming languages, using Haskell
coq-haskell
A library for formalizing Haskell types and functions in Coq
dotfiles
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
ReWire
Experimental compiler for a subset of Haskell to VHDL
sn-stlc-de-bruijn-coq
Strong Normalization for Simply-Typed Lambda-Calculus with de Bruijn indices in Coq
sqlectron-gui
UNMAINTAINED - SEE BELOW. A simple and lightweight SQL client desktop with cross database and platform support.
tapl
Typechecker Implementations of Types and Programming Languages
tnrn9b's Repositories
tnrn9b/AoPL
A book on programming languages, using Haskell
tnrn9b/coq-haskell
A library for formalizing Haskell types and functions in Coq
tnrn9b/ReWire
Experimental compiler for a subset of Haskell to VHDL
tnrn9b/sn-stlc-de-bruijn-coq
Strong Normalization for Simply-Typed Lambda-Calculus with de Bruijn indices in Coq
tnrn9b/tapl
Typechecker Implementations of Types and Programming Languages
tnrn9b/Bootstrap-3-Typeahead
The Typeahead plugin from Twitter's Bootstrap 2 ready to use with Bootstrap 3 and Bootstrap 4
tnrn9b/cdnjs
🌍 The best FOSS web front-end resource CDN
tnrn9b/Coq---Programming-Language
Haskell函数式编程的代码实例以及教程
tnrn9b/coq-fp
functional programming (and reasoning) in coq
tnrn9b/coq-plugin-template
Template for Coq plugins
tnrn9b/CPlus
Higher level programming in C
tnrn9b/expert-eureka
tnrn9b/function-bind
tnrn9b/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
tnrn9b/hackathon-starter
A boilerplate for Node.js web applications
tnrn9b/highcharts-spring-ajax
This is a sample application that show how send JSON data from a Sprint controller to highcharts to be displayed on a web page.
tnrn9b/HTML5WebWorkerExample
A small ASP.NET/HTML5 web page that demonstrates using HTML5 Web Workers to pre-fetch data
tnrn9b/jquery-textcomplete
Introduce autocompleting power to textareas, like GitHub comment forms have.
tnrn9b/Learn-Node
Starter Files + Stepped Solutions for the Learn Node course
tnrn9b/p5.js
p5.js is a JS client-side library for creating graphic and interactive experiences, based on the core principles of Processing. http://twitter.com/p5xjs —
tnrn9b/PHP-SPL-Iterator-Interface-Examples
Example usage of a number of the PHP SPL classes
tnrn9b/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
tnrn9b/SAP-JCO-Connector
Setting Up Of SAP Connection using SAP JCO3 in Eclipse IDE
tnrn9b/SVG_Colors_Patterns_Gradients
Example code for the book SVG Colors, Patterns & Gradients
tnrn9b/tnrn9b.github.io
tnrn9b/unpacker
Automated malware unpacker
tnrn9b/yen3.github.com
personal blog
tnrn9b/Zend_Db-Examples
tnrn9b/zf2-documentation
Zend Framework 2 documentation sources