Julin S's repositories
alternative-internet
A collection of interesting new networks and tech aiming at decentralisation (in some form).
ceps
Coq Enhancement Proposals
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
clash-starters
Projects to get started with Clash
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
flask-simple-api
A simple Flask API for binary arithmetic operations
ghdl
VHDL 2008/93/87 simulator
haskell-mooc
Haskell MOOC University of Helsinki
koika
A core language for rule-based hardware design 🦑
math-comp
Mathematical Components
mcb
Mathematical Components (the Book)
minttea
A little TUI framework for OCaml
mrkup
Compose HTML (and some XML) using Python.
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
qutebrowser
A keyboard-driven, vim-like browser based on PyQt5.
silveroak
Formal specification and verification of hardware, especially for security and privacy.
sudoku
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
worg
Community driven documentation for Emacs Org-mode - do not create PR here.
z-eyes
A simple script to take time off from computer screen