Pinned Repositories
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
calsh
A bash script to have a limited interactive version of the `cal` command to view the calendar
colorviews
A Python module to handle colors.
dtcalc
A command line tool to find the difference between dates.
pextn
tzview
View datetime in different time zones
vcd
VCD file (Value Change Dump) command line viewer
ju-sh's Repositories
ju-sh/vcd
VCD file (Value Change Dump) command line viewer
ju-sh/alternative-internet
A collection of interesting new networks and tech aiming at decentralisation (in some form).
ju-sh/tzview
View datetime in different time zones
ju-sh/circt
Circuit IR Compilers and Tools
ju-sh/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
ju-sh/clash-lang.org
ju-sh/clash-starters
Projects to get started with Clash
ju-sh/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.
ju-sh/coq-tricks
Tricks you wish the Coq manual told you
ju-sh/cpython
The Python programming language
ju-sh/flask-simple-api
A simple Flask API for binary arithmetic operations
ju-sh/fun
Fun programs
ju-sh/ghdl
VHDL 2008/93/87 simulator
ju-sh/haskell-mooc
Haskell MOOC University of Helsinki
ju-sh/ju-sh.github.io
Github pages
ju-sh/koika
A core language for rule-based hardware design 🦑
ju-sh/math-comp
Mathematical Components
ju-sh/mcb
Mathematical Components (the Book)
ju-sh/minttea
A little TUI framework for OCaml
ju-sh/mrkup
Compose HTML (and some XML) using Python.
ju-sh/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
ju-sh/opam2web
A tool to generate a website from an opam repository
ju-sh/pltea.github.io
ju-sh/qutebrowser
A keyboard-driven, vim-like browser based on PyQt5.
ju-sh/runtime_events_tools
ju-sh/silveroak
Formal specification and verification of hardware, especially for security and privacy.
ju-sh/sudoku
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
ju-sh/tidal-doc
ju-sh/worg
Community driven documentation for Emacs Org-mode - do not create PR here.
ju-sh/z-eyes
A simple script to take time off from computer screen