ju-sh Goto Github PK

abbrv.jabref.org

A repository of abbreviations for references, e.g., for conferences, journals, institutes, etc.

alternative-internet

A collection of interesting new networks and tech aiming at decentralisation (in some form).

autocorrect

Spelling corrector in python

base-cs

Base.CS

black

The uncompromising Python code formatter

calsh

A bash script to have a limited interactive version of the `cal` command to view the calendar

ceps

Coq Enhancement Proposals

chardet

Python 2/3 compatible character encoding detector.

clangd-www

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

clash-lang.org

clash-starters

Projects to get started with Clash

colorviews

A Python module to handle colors.

concert

A framework for smart contract verification in Coq

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-tricks

Tricks you wish the Coq manual told you

cpython

The Python programming language

crossword-arranger

Arrange a grid into a crossword of your choice.

curses

dotfiles

Config files (not updating now)

dsa

Data Structures and Algorithms

dtcalc

A command line tool to find the difference between dates.

flask-simple-api

A simple Flask API for binary arithmetic operations

fun

Fun programs

ghdl

VHDL 2008/93/87 simulator

haskell-mooc

Haskell MOOC University of Helsinki

head

herbstluftwm

A manual tiling window manager for X11

inpycon2020

Website for PyCon India 2020

irchelp.github.io

This is the live www.irchelp.org site - please feel free to submit pull requests!