jsynacek Goto Github PK
Name: Jan Synacek
Type: User
Company: Scrive AB
Bio: isSometimesGood (Haskell _) = True
Location: Czech Republic
Name: Jan Synacek
Type: User
Company: Scrive AB
Bio: isSometimesGood (Haskell _) = True
Location: Czech Republic
My .emacs.d directory
Seven Kingdoms: Ancient Adversaries
Asus keyboard leds daemon
Custom status bar script for i3bar
Simple battery monitor
Ergonomic Command Mode for Emacs
Rusty brightness on a rusty device
Official upstream development repository for Cabal and cabal-install
An experiment of formatting .cabal files
Based on cipher-aes, but using a crypto-api interface and providing resulting IVs for each mode
dict-go
A collection of Diffie-Hellman primes generated by random people, no idea if they are legitimate or not.
Interactive 3D Terrain Editor
Mirror of GNU Emacs
Emacs major mode for managing virtual machines.
Make refuelable things forbiddable.
Get filesystem information
A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code navigation (jump to definition).
Go exercise, fool!
Go implementation of the Open Color scheme
Scheme bindings for systemd
ido-hacks improvements for e24
Scripts to bring up network interfaces and legacy utilities in Fedora.
The iputils package is set of small useful utilities for Linux networking.
A friendly IRC bot, eager to give you fortune cookies.
Lambda launcher
lambda-snake
Enclosure LED Utilities
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.