Highlights
- Pro
Stars
Emacs major mode for Lean 4
Rewbert / quickcheck
Forked from nick8325/quickcheckAutomatic testing of Haskell programs.
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
Auto-format source code in many languages with one command
GNU/Linux/nix client for DroidCam
A command line interface for while_parser library
A tiling window manager for macOS based on binary space partitioning
Title page for final degree project of ETSIINF UPM.
😎 Awesome lists about all kinds of interesting topics
A Haskell library for typesafe music composition
A declarative, type-safe UI library for PureScript.
Scripts to build your own IPsec VPN server, with IPsec/L2TP, Cisco IPsec and IKEv2
An Emacs framework for the stubborn martian hacker
Master programming by recreating your favorite technologies from scratch.
tumugin / WiringOP
Forked from zhaolei/WiringOPmodified version of WiringPi for OrangePi PC2.
A minimalist Beamer theme with a watermark in the background
JSON instances generation and validation from JSON Schema and other JSON data descriptions
Code appendix to an OpenCL matrix-multiplication tutorial
Recopilatorio de charlas vistas y de la informacion relevante que se explica en ellas.
The Open Source Computer Science Degree
FP101x - Functional Programming MOOC 2015 Content Repository
