nilcons Goto Github PK
Name: nilcons.com
Type: Organization
Location: Zurich, Switzerland
Blog: http://nilcons.com/
Name: nilcons.com
Type: Organization
Location: Zurich, Switzerland
Blog: http://nilcons.com/
Practical Intro to Agda and Coq
Agda és Coq szeminárium
Installation instructions and Docker image for Agda and Coq
Alternative Home directories via Linux Namespaces
Ansible scripts to convert an Amazon Ubuntu to a presentation ready VNC machine
Biter Baiter factorio mod
Bunny game rewrite mostly by ChatGPT-4
A guild for people who like Nix
Knowhow on how to use cgroups on your desktop
My opinion on the Corion ICO
Document all the mess around bip32+bip39+bip44 and similar key generation schemes
Dockerfile for Debian with basic utilities
Markdown with a pandoc makefile
Know-how on how to use OAUTH for Gmail authentication with Emacs
Discussion on how to achieve fast initialization of emacs using melpa with use-package
How to make Firefox usable
Functional Programming in the Browser
Using GHC with musl libc to get true static linking
Code snippets and short notes from Nilcons
Haskell package shipping the standard time zone database & library to use with it
Haskell package that distributes the standard time zone database
Command line flag parser for Haskell, conceptually very similar to Google's gflags
haskell-indentation 2nd try
A quick intro to IPSec on the kernel side with STUN and UDP hole punching
JBIG2 Encoder
A simplified and customized version of Iosevka
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.