agentultra Goto Github PK

knockblock

A library for writing strong, eventually consistent programs in Python

lambdatrek

A Super-ish Trek clone written in Haskell

lean-4-hackers

lean-datalog

lean-for-hackers

lean-json

lean-modexp

lean4

Lean 4 programming language and theorem prover

leanparsec

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

locker

Locker - the "me" platform

lxc

LXC - Linux Containers

oauth2-example

A small example of a Node OAuth2 server made with Mongoose and Express

openstack-guest-agents-unix

Openstack Unix Guest Agent

pangzero

Porting Pang Zero to new SDL API for Debian Release

password

datatypes and functions for easily working with passwords in Haskell

paython

ActiveMerchant rip off in Python. Fork me & improve me!

pelican

Static blog generator in Python, using Markdown/reST syntax

peridot

A fast functional language based on two level type theory

persistent

Persistence interface for Haskell allowing multiple storage methods.

personal-security-checklist

🔒 A curated checklist of 300+ tips for protecting digital security and privacy in 2021

pg-entity

A pleasant PostgreSQL database layer for Haskell

postgresql-replicant

A streaming PostgreSQL logical replication client library for Haskell

procgenomatic

A repository for messing around with procgen algorithms

protohackers-solutions

pycraft

A fork of "Minecraft in 500 lines of python" intended to be used as a real engine, instead of as a learning example.

pydark

PyDark is a 2D and Online Multiplayer video game engine written on-top of Python and PyGame.

pyedn

A Python library for marshalling to the edn format

pygemony

A tool written in Python to parse files for "TODO" and to raise an issue in the github repository with the todo message.

python-cinderclient

Client library for the Cinder API