Stars
- All languages
- Agda
- Assembly
- BASIC
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Factor
- GLSL
- Go
- HTML
- Haskell
- Idris
- JSON
- Java
- JavaScript
- Jupyter Notebook
- Lean
- LiveScript
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mercury
- Mustache
- Nix
- OCaml
- Objective-C
- Objective-C++
- PEG.js
- PHP
- PLpgSQL
- POV-Ray SDL
- Perl
- PowerShell
- Processing
- Prolog
- Pug
- PureScript
- Python
- QML
- Racket
- Raku
- Red
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- TSQL
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- Wren
- Yacc
- Zig
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
A guide to how rustc works and how to contribute to it.
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Simple.css is a CSS template that allows you to make a good looking website really quickly.
Style your webpage like Edward Tufte’s handouts.
A simple program to simulate artificial life using attraction/reuplsion forces between many particles
Chinese translation of Learn you a Haskell for great good
magically playful, yet simple styling. all in one file.
📖🎧 A tool for creating ebooks with synchronized text and audio (EPUB3 with Media Overlays)
jackhumbert / zbalermorna
Forked from lakmeer/zbalermornalo vrici se pilno be fi la zbalermorna je lo ri taipfase
code snippets and notes that I have created over the years and which I make available to the public ;-)
A curated list of awesome warez and piracy links
Convert PDF to HTML without losing text or format.
《神经网络与深度学习》 邱锡鹏著 Neural Network and Deep Learning
Naming and shaming companies who kowtow to Chinese censorship requests
A D3.js layout for visualizing pedigree trees.
My own little "24 Days of Hackage" for 2015
(Haskell) Web application server with stateful, type safe user interactions and widget combinators