Repository Index

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Call python from Common Lisp

• common-lisp
• python
• library

Natural language generation language

• natural-language-generation
• nlg

Pure Python parser for classic Windows Event Log files (.evt)

A Python type checker

A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)

• pycom
• micropython
• lopy
• wipy

Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.

• lisp
• sublime-text
• flex-completion
• repl

Fully typesafe, Rust-like Result and Option types for Python

• python3
• rust
• result-type
• rust-option

GraphQL parser for Python

the alchemist's happy path with elixir

• elixir
• error-handling
• with
• monad

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

Plugin for mypy to support zope.interface

• mypy
• zope
• plugin
• static-typing

A command line tool and library for generating FFI wrappers for Common Lisp

• ffi
• common-lisp
• cffi
• clang

scikit-learn for OCaml

Pure python parser for Snort/Suricata rules.

• suricata-rules
• suricata-rule
• snort-rules
• snort-rules-generate

Matplotlib for Elixir

• elixir
• elixir-lang
• matplotlib
• python

Python bindings for hashcat

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

Python module to reduce a cmake file to an AST

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

Command line tool for Bluetooth Low Energy MicroPython devices

• micropython
• python
• embedded
• cli

Backport for type hinting generics in standard collections and union types as X | Y

Micropython wrapper for FastLZ, a lightning-fast lossless compression library

a parser for Forsyth-Edwards Notation (for encoding chess positions)