jirkamarsik Goto Github PK
Name: Jirka Maršík
Type: User
Company: @graalvm
Twitter: jirkamarsik
Location: Prague, Czech Republic
Blog: http://jirka.marsik.me
Name: Jirka Maršík
Type: User
Company: @graalvm
Twitter: jirkamarsik
Location: Prague, Czech Republic
Blog: http://jirka.marsik.me
Full-featured TypeScript on JVM
A toolkit for experimenting with abstract categorial grammars lexicalized by an external lexical database.
A publicly open Git mirror for the ACG toolkit hosted at
My Advent of Code 2018 solutions in Rust.
My Advent of Code 2015 solutions in Haskell
My Advent of Code 2017 solutions in Haskell
Algebraic effects for Montague semantics.
originally created by /u/gumOnShoe
Repository of the anrsealed.com website. anrsealed.com allow to play Android: Netrunner in Sealed format.
Fast and Trainable Tokenizer for Natural Languages - my bachelor thesis
Some Haskell code to prototype a design for a lame block cipher.
A userspace linux driver for using the Boogie Board Sync 9.1 as a tablet input device
ECMAScript 5/6/7 compatibility tables
Wicketstuff-core projects are bundled user contributions for use with Apache Wicket. They are released in step with Wicket releases to make them easy to use.
An exploration into expressing laws of interactions in a population using logic programming.
My Emacs setup, which tries to use mostly only MELPA for package installation and the Emacs Starter Kit for defaults. A lot of stuff is also pulled from the live-coding-emacs setup for Overtone.
Distributed dynamic programming with Python and MPI
the edX learning management system (LMS) and course authoring tool, Studio - Work done over #OpenedXHack in collaboration with: Nathan Janeczko, Ange Gallego, Robin Nassoy, Rida Bekaourassa, Benjamin Aramburu
Source code for my LNCS 2014 paper, Algebraic Effects and Handlers in Natural Language Interpretation.
An implementation of the ESA unsupervised word segmentation algorithm in Clojure.
Ludum Dare 38 jam entry
Work done over #OpenedXHack in collaboration with: Nathan Janeczko, Ange Gallego, Robin Nassoy, Rida Bekaourassa, Benjamin Aramburu
A TAP reporter for use with the Jasmine test framework.
My personal configuration pack for Emacs Live.
The source code for my website.
My personal site.
DEPRECATED: The Personal Blog of Jirka Maršík
Java port of Oniguruma regexp library
Procrastinating with Agda: a formalization of System L
Effects and Handlers in Natural Language -- the working repository for my PhD research
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.