Jirka Maršík
jirkamarsik

Organizations

@progma

    ling-eff

    Small-scale experiments for my work on algebraic effects and handlers in natural language semantics.

    Updated Aug 24, 2016

    Emacs Lisp 0 0

    sonic-screwdriver

    My sonic configuration for Emacs. Warning: Uses evil.

    Updated Aug 3, 2016

    Clojure 0 0

    tardis

    TARDIS is a utility daemon. Its principal feature is to serve as a back-end for the sonic screwdriver.

    Updated Aug 3, 2016

    Agda 0 0

    lambda-mu

    Procrastinating with Agda: a formalization of System L

    Updated Aug 2, 2016

    Python 0 0

    dp-mpi

    Distributed dynamic programming with Python and MPI

    Updated May 3, 2016

    Python 0 4

    SLAMtk

    forked from maximeamb/SLAMtk

    this repository contains the development of the last SLAMtk

    Updated Feb 17, 2016

    Haskell 0 0

    jirka.marsik.me

    The source code for my website.

    Updated Jan 4, 2016

    Python 0 4

    boogiesync-tablet

    forked from jbedo/boogiesync-tablet

    A userspace linux driver for using the Boogie Board Sync 9.1 as a tablet input device

    Updated Oct 14, 2015

    PureScript 0 7

    purescript-virtual-dom

    forked from garyb/purescript-virtual-dom

    Low level virtual-dom bindings for PureScript

    Updated Aug 12, 2015

    effects-paper

    Source code for my LNCS 2014 paper, Algebraic Effects and Handlers in Natural Language Interpretation.

    Updated Jun 17, 2015

    Python 0 9

    fun-apps

    forked from openfun/fun-apps

    Work done over #OpenedXHack in collaboration with: Nathan Janeczko, Ange Gallego, Robin Nassoy, Rida Bekaourassa, Benjamin Aramburu

    Updated May 30, 2015

    edx-platform

    forked from openfun/edx-platform

    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

    Updated May 30, 2015

    nixpkgs

    forked from NixOS/nixpkgs

    Nix Packages collection

    Updated Apr 22, 2015

    OCaml 1 0

    acgtk

    A publicly open Git mirror for the ACG toolkit hosted at

    Updated Apr 7, 2015

    HTML 0 0

    jirkamarsik.github.io

    My personal site.

    Updated Mar 23, 2015

    OCaml 0 7

    ocp-build

    forked from hooray9/ocp-build

    Build manager for OCaml applications, with a very simple and modular language for packages.

    Updated Oct 27, 2014

    jirkamarsik.ruhoh.com

    DEPRECATED: The Personal Blog of Jirka Maršík

    Updated Feb 26, 2014

    master-thesis

    The report from my internship at Loria, my master thesis for Université de Lorraine.

    Updated Feb 21, 2014

    trainable-tokenizer

    Fast and trainable tokenizer for natural languages relying on maximum entropy methods.

    Updated Dec 11, 2013

    Clojure 1 0

    acg-clj

    A toolkit for experimenting with abstract categorial grammars lexicalized by an external lexical database.

    Updated May 27, 2013

    Emacs Lisp 0 0

    jirka-pack

    My personal configuration pack for Emacs Live.

    Updated Apr 22, 2013

    Emacs Lisp 1 0

    dot-emacs

    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.

    Updated Mar 20, 2013

    bc-thesis

    Fast and Trainable Tokenizer for Natural Languages - my bachelor thesis

    Updated Aug 7, 2012

    Clojure 1 0

    deflaw

    An exploration into expressing laws of interactions in a population using logic programming.

    Updated Mar 22, 2012

    maxent

    OBSOLETE: This is a "fork" of the Maximum Entropy Modeling Toolkit by Le Zhang fixing some critical overflow errors. Now, that the project has moved to GitHub, it might be more prudent to conduct futher work in https://github.com/lzhang10/maxent.

    Updated Feb 21, 2012

    Clojure 2 0

    esa-wordseg

    An implementation of the ESA unsupervised word segmentation algorithm in Clojure.

    Updated Dec 30, 2011

    Java 2 1

    mulan-ensemble

    Ensemble classifiers implementation for Mulan and a paper using it for experiments with text classification.

    Updated Nov 30, 2011

    Haskell 3 0

    block-cipher-design

    Some Haskell code to prototype a design for a lame block cipher.

    Updated Oct 24, 2011

    yapg

    Yet Another Parser Generator - an LALR(1) parser generator

    Updated Jul 8, 2011

    quex

    OBSOLETE: Quex 0.59.1 fixed this issue. (This is a fork of the Quex Lexical Analyzer Generator by Frank-Rene Schäfer fixing a trivial show-stopping bug.)

    Updated May 13, 2011

    ray-tracer

    A quite straightforward ray tracer leveraging the power of functional and parallel programing.

    Updated Apr 21, 2011