Git Product home page Git Product logo

Jirka Maršík's Projects

1c icon 1c

Full-featured TypeScript on JVM

acg-clj icon acg-clj

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

acgtk icon acgtk

A publicly open Git mirror for the ACG toolkit hosted at

anrena icon anrena

originally created by /u/gumOnShoe

anrsealed icon anrsealed

Repository of the anrsealed.com website. anrsealed.com allow to play Android: Netrunner in Sealed format.

bc-thesis icon bc-thesis

Fast and Trainable Tokenizer for Natural Languages - my bachelor thesis

boogiesync-tablet icon boogiesync-tablet

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

core icon core

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.

deflaw icon deflaw

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

dot-emacs icon 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.

dp-mpi icon dp-mpi

Distributed dynamic programming with Python and MPI

edx-platform icon 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

effects-paper icon effects-paper

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

esa-wordseg icon esa-wordseg

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

fun-apps icon fun-apps

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

joni icon joni

Java port of Oniguruma regexp library

lambda-mu icon lambda-mu

Procrastinating with Agda: a formalization of System L

ling-eff icon ling-eff

Effects and Handlers in Natural Language -- the working repository for my PhD research

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.