ju-sh Goto Github PK

ju-sh.github.io

Github pages

junction

Junction is a software to manage proposals, reviews, schedule, feedback during conference.

koika

A core language for rule-based hardware design 🦑

math-comp

Mathematical Components

mcb

Mathematical Components (the Book)

metacoq

Metaprogramming in Coq

minttea

A little TUI framework for OCaml

moz-add

mrkup

Compose HTML (and some XML) using Python.

notes

Notes

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

opam2web

A tool to generate a website from an opam repository

peps

Python Enhancement Proposals

pextn

pg

This repo is the new home of Proof General

playing-with-python-ast

Playing with the Python ast

pltea.github.io

polybar-themes

A huge collection of polybar themes with different styles, colors and variants.

punits

A simple utility to convert values between different units.

qutebrowser

A keyboard-driven, vim-like browser based on PyQt5.

rasa

💬 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants

runtime_events_tools

safeeyes

Protect your eyes from eye strain using this simple and beautiful, yet extensible break reminder

sampleproject

A sample project that exists for PyPUG's "Tutorial on Packaging and Distributing Projects"

showkeys

Simple application to display keystrokes during screencasts or presentations.

silveroak

Formal specification and verification of hardware, especially for security and privacy.

spacy

💫 Industrial-strength Natural Language Processing (NLP) with Python and Cython

spacy-course

👩‍🏫 Advanced NLP with spaCy: A free online course

sudoku

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

tidal-doc