honnix Goto Github PK

ldap4pl

learn_math

stupid stuff to teach my kid math

lib_mysqludf_sys

A UDF library with functions to interact with the operating system. These functions allow you to interact with the execution environment in which MySQL runs.

lodlive

browse the web of data - a SPARQL navigator

lpn

code snippet when reading http://www.learnprolognow.org/

lsp-treemacs

lsp-mode :heart: treemacs

markov-decision-process

Two simple implementations of a MDP in Scala, used for my B.Sc. thesis

maximum-awesome

Config files for vim and tmux.

myapp

sbt submodule experiment

myourls

a hard copy of myourls implemented by Lift

myourls-node

a hard copy of yourls implemented by nodejs

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

p-99

https://sites.google.com/site/prologsite/prolog-problems

packages-archive

Interface to libarchive

packages-http

The SWI-Prolog HTTP server and client libraries

packages-semweb

The SWI-Prolog RDF store

packages-xpce

The graphics toolkit for SWI-Prolog

pebble

Java Template Engine

pi-jactor-akka

Comparison Pi Calculation Implementation in jActor and Akka

pip

The Python package installer

pip-tools

A set of tools to keep your pinned Python dependencies fresh.

plasticsearch

Elasticsearch Client implemented in Prolog

poetry

Python dependency management and packaging made easy.

poetry-core

Poetry PEP 517 Build Backend & Core Utilities

popclip-extensions

Documentation and source code for all Pilotmoon's PopClip extensions.

project_euler

https://projecteuler.net

pydata-book

Materials for "Python for Data Analysis" by Wes McKinney, published by O'Reilly Media

python-editor

Programmatically open an editor, capture the result.

python-manhole

Debugging manhole for python applications.

qrify

Generate QR code for Spotify track