Wen Kokke Wen Kokke

Tracking 1.5K commits to 51 open source packages


Repositories

plfa/plfa.github.io
Introduction to programming language theory in Agda
Agda - CC-BY-4.0 - Last pushed - 677 stars - 128 forks
wenkokke/agda2html
Convert literate Agda to HTML using the Agda syntax highlighter and some cutting and pasting.
Haskell - MIT - Last pushed - 0 stars
wenkokke/nodcap
Nodcap is a type system for the π-calculus with strong ties to classical linear logic, which guar...
Agda - MIT - Last pushed - 0 stars
wenkokke/FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
Agda - MIT - Last pushed - 5 stars - 1 forks
wenkokke/unlit
Tool to convert literate code between styles or to code.
HTML - BSD-3-Clause - Last pushed - 5 stars - 2 forks
wenkokke/UoE-MT1-PBT
Answers to Machine Translation coursework 1: Decoding.
Python - Last pushed - 0 stars
See all Wen Kokke's repositories

Repositories Contributed To

tscheepers/SMT-IBM-Models
Python implementation of IBM models 1 and 2, which can be used for finding word alignments and st...
Fortran - Updated - 1 stars
wickedcodeninja/APA-FunFlow
Haskell - Last pushed - 0 stars
asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
jmchilton/homebrew-science-test1
Ruby - Last pushed - 0 stars
See all Wen Kokke's contributions

Published Packages

sesh
A library for deadlock-free session-typed communication.
Latest release 0.1.0 - Published - 9 stars
rusty-variation
A library for deadlock-free session-typed communication.
Latest release 0.1.0 - Published - 9 stars
See all Wen Kokke's packages

Most Used Packages

github-pages
Bootstrap the GitHub Pages Jekyll environment locally.
Latest release 205 - Updated - 1.51K stars
i18n
New wave Internationalization support for Ruby.
Latest release 1.8.3 - Updated - 834 stars
activesupport
A toolkit of support libraries and Ruby core extensions extracted from the Rails framework. Rich ...
Latest release 6.0.3.2 - Updated - 45.8K stars
nokogiri
Nokogiri (鋸) is an HTML, XML, SAX, and Reader parser. Among Nokogiri's many features is the abil...
Latest release 1.10.10 - Updated - 5.46K stars
json
This is a JSON implementation as a Ruby extension in C.
Latest release 2.3.1 - Updated - 567 stars
faraday
HTTP/REST API client library.
Latest release 1.0.1 - Updated - 4.72K stars
See all Wen Kokke's most used packages

Last synced: 2017-08-02 10:24:32 UTC

Login to resync this page