😎 Yeoman generator for GitHub awesome lists

Awesome online talks and screencasts

🌈 discover the beautiful programming language that makes front-end web apps a joy to build and maintain!

An elm/html-like library for the Web Audio API.

A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list. Feel free to contribute. 🚀

List of editor plugins for Elm.

vpnc-script replacement for easy and secure split-tunnel VPN setup

MOVED TO https://gitlab.com/openconnect/openconnect-gui

✨ Awesome pair programming resources ✨

>>AnnoMathTeX<< - a LaTeX formula annotation facilitation and recommendation tool for STEM documents

📱The official Wikipedia iOS app.

🤫 Noiseless Browsing – Content Blocker for Safari

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

An open-source userscript manager for Safari

A Proof-oriented Programming Language

Repository for the Stacks Project

Proposed compiler and language changes for GHC and GHC/Haskell

📄 Awesome CV is LaTeX template for your outstanding job application

Property based testing for Java 8

Experimental implementation of Cubical Type Theory

JVM bytecode back end for Idris

Idris LLVM codegen factored out

formally verified category theory library

A purely functional programming language with first class types

Resources for learning Category Theory for an enthusiast

Open RTB is a protocol for real time bidding on digital media

Fish shell like syntax highlighting for Zsh.

Everything we actually know about the Apple Neural Engine (ANE)

Official Haskell IDE support via the language server protocol (LSP)

ACT community resources