ktp-forked-repos Goto Github PK

prolog_syllogisms

DCG (definite clause grammar)

promenades-in-prolog

A foray into logic programming with prolog and logtalk.

promise-fun

Promise packages, patterns, chat, and tutorials

promises

Promises in Common Lisp

proof-whisperer

A prolog (SWI-prolog) progarm that uses basic logic steps to create proofs for different mathemaical results.

prose

:book: A Golang library for text processing, including tokenization, part-of-speech tagging, and named-entity extraction.

protobuf-logtalk-v3.61

proton

A particle engine for javascript

proz

elka.pw.edu.pl - Programowanie zdarzeniowe

przelewy24_payment

Integration with polish payment method: Przelewy24.pl

przetwornik-dcg-c-do-asm

Projekt Przetwornika języka C - Asembler

ps

Parallel sections library for parallel data-structures

psage

A Library of Number Theory Code that depends on Sage (http://sagemath.org)

psalterz

Psałterz łacińsko-polski

psalterz-polski

psdotfiles

Bringing simple dotfiles management to Windows with PowerShell

psycho

This is a book in Romanian on algorithms and programming contest strategies. It is written in LaTeX and TikZ. The original dates from 1997 and was written in Word. I converted the figures, formulae and tables and fixed some typos, but left the text and code untouched (for better or worse).

psychopedagogeu

Witryna główna Polskiego Towarzystwa Psychopedagogicznego

ptvs

Python Tools for Visual Studio

ptvsd

Python debugger package for use with Visual Studio and Visual Studio Code.

ptx2_domagalski_adam

Korektor gramatyczny języka Polskiego zbudowany na polimorfie

pubdns

Python library to interact with 28K public DNS servers around the world

public

Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/

public-apis

A collective list of free APIs for use in software and web development.

public-apis-1

A collection of codes related to public APIs (CEIDG, REGON)

pull-everything

Recursively pull/fetch all git repositories

pulsesensor_amped_processing_visualizer

Processing code for pulse wave visualization

punkt

A port of the Punkt sentence tokenizer to Go

puppynet

repo for "Livecoding Madness" deep learning library for PuPPy meetup

purescript-is-magic

An educational game with ponies