![json logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/json/json.png)
- Minsk Mazowiecki, Poland
Block or Report
Block or report bartecheck
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Language
Sort by: Recently starred
Starred repositories
😎 Yeoman generator for GitHub awesome lists
🌈 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. 🚀
vpnc-script replacement for easy and secure split-tunnel VPN setup
MOVED TO https://gitlab.com/openconnect/openconnect-gui
>>AnnoMathTeX<< - a LaTeX formula annotation facilitation and recommendation tool for STEM documents
🤫 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
Proposed compiler and language changes for GHC and GHC/Haskell
📄 Awesome CV is LaTeX template for your outstanding job application
Experimental implementation of Cubical Type Theory
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 language server (LSP). Successor of ghcide & haskell-ide-engine.