Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
Largest Contentful Paint API (MDN) developer.mozilla.org
Programmatic access to LCP entries.
-
Chrome Developers: Performance developer.chrome.com
Deep guides on rendering, loading, and runtime performance.
-
Scour codedread.com
Open-source Python script that aggressively cleans SVG files, stripping cruft that tools or authors embed in documents.
-
CDNperf cdnperf.com
Finds you fast and reliable JavaScript CDNs that make your sites snappy and happy.
-
CDNjs cdnjs.com
An open-source CDN for JavaScript and CSS sponsored by Cloudflare that hosts everything from jQuery and Modernizr to Bootstrap.
-
Benchmark.js benchmarkjs.com
A robust benchmarking library that works on nearly all JavaScript platforms, supports high-resolution timers, and returns statistically significant results.
-
Boomerang (Open Source) akamai.github.io
Documentation for the Open Source version of Boomerang, which is maintained by Akamai employees with contributions from the OSS community.
-
Rollup rollupjs.org
Rollup is a next-generation JavaScript module bundler. Author your app or library using ES2015 modules, then efficiently bundle them up into a single file for use in browsers and Node.js
-
JSPM jspm.io
ES6, AMD, CJS module loading/package management
-
Esprima esprima.org
JavaScript parser supporting ES6, parses to ESTree AST format
-
Read Blog Post blog.jetbrains.com
-
xUnit.net xunit.net
Free, open source, community-focused unit testing tool for the .NET Framework.
-
Domain Modeling Made Functional by Scott Wlaschin pragprog.com
Tackle software complexity with domain-driven design and F#.
-
MonoDevelop monodevelop.com
Cross-platform IDE mostly aimed at Mono/.NET developers.
-
F# in Action by Isaac Abraham manning.com
A practical guide in software development in F#.
-
Learn F# in Y minutes learnxinyminutes.com
A guide recommended to quickly start programming in F#.
-
Guide for Python devs to learn F# github.com
A 30-minute F# tutorial for Python programmers, with back-to-back code snippets.
-
Fable Resources fable.io
A curated list of useful Fable-related tutorials, libraries and software.
-
Mark Seemann blog.ploeh.dk
A blog discussing various aspects of software design.
-
Sigma Coding youtube.com
-
JKP API Declarations jkp-ads.com
-
Ruby, EB and DLL composition github.com
-
Thunder - The birth of Visual Basic forestmoon.com
-
Excel Development Platform Blog exceldevelopmentplatform.blogspot.com
-
VB6 Coding conventions docs.microsoft.com
-
Six programming paradigms that will change how you think about coding ybrikman.com
Post by Yevgeniy Brikman describing different programming paradigms that are not commonly applied.
-
The VBA Developer's Handbook academia.edu
-
Schoenberg tomeraberba.ch
The MIDI Esoteric Programming Language.
-
The Fun (and Madness) of Esoteric Programming Languages tomassetti.me
Straightforward introduction to esoteric languages with examples.
-
Spooky spookylang.com
The scariest programming language :jack_o_lantern: :skull:.
-
Let's Build a Basic Interpreter (Ruslan's Blog) ruslanspivak.com
Series of articles explaining the basics of compilers and interpreters and how to build one.
-
Reddit Esolangs reddit.com
Reddit community on esolangs.
-
legit morr.cc
Programs defined entirely by the graph of the git repository instead of its contents.
-
Unlambda madore.org
Obfuscated functional programming.
-
LolCode lolcode.org
Language with keywords based on the lolcat meme expressions.
-
><> esolangs.org
A stack-based 2d language with support for reflection.
-
Derivative of Unary in which every zero is replaced with the title of the programming language being discussed.
-
Esolang List of ideas esolangs.org
Compilation of ideas for esoteric languages and related.
-
Esolang esolangs.org
Wiki of esoteric programming languages and related Resources.
-
Wikipedia/Esoteric programming languages en.wikipedia.org
Wikipedia list of esoteric languages.
-
Emojicode emojicode.org
Full-blown programming language consisting of emojis.
-
DM's Esoteric Programming Languages dangermouse.net
List of esoteric languages and algorithms written by dangermouse.
-
VST vst.cs.princeton.edu
Toolchain for verifying C code inside Coq in a higher-order concurrent, impredicative separation logic that is sound w.r.t. the Clight language of the CompCert compiler.
-
Vélus velus.inria.fr
Verified compiler for a Lustre/Scade-like dataflow synchronous language.
-
Proofs and Reliable Programming using Coq team.inria.fr
Introduction to developing and verifying programs with Coq.
-
Volume 3: Verified Functional Algorithms softwarefoundations.cis.upenn.edu
Demonstration of how a variety of fundamental data structures can be specified and verified.
-
Volume 5: Verifiable C softwarefoundations.cis.upenn.edu
An extended tutorial on specifying and verifying C programs using the Verified Software Toolchain.
-
Volume 2: Programming Language Foundations softwarefoundations.cis.upenn.edu
Introduction to the theory of programming languages, including operational semantics, Hoare logic, and static type systems.
-
Volume 1: Logical Foundations softwarefoundations.cis.upenn.edu
Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving.
-
Computer Arithmetic and Formal Proofs sciencedirect.com
Book that describes how to formally specify and verify floating-point algorithms in Coq using the Flocq library.
- next page of items loading…
