An HTML superset/Markdown subset source format for ECMAScript and related specifications

Status, process, and documents for ECMA-262

Database layer for org-mode notes with async indexing, rich queries, backlink discovery, and external change detection. Scales to 100k+ notes.

A simplified minor mode for displaying unstaged git changes commits for today.

A sit of Fortran projects gathered from GitHub, GitLab, and other places

Work files for proposed Fortran 202y preprocessor standardization

Template for writing.log in org-mode

Various tools to use CriticMarkup in your daily workflow

Directory of Fortran codes on GitHub, arranged by topic

Formal Reasoning About Programs

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

Easy and explicit finite state machines in Common Lisp.

F2cl - A Fortran 77 to Common Lisp translator

The CompCert formally-verified C compiler

Explain old-style programming idioms used in FORTRAN 77 programs

Software Foundations

Fortran parsing and static analysis infrastructure

Flex grammar for Fortran 66

clasp Common Lisp environment

Fortran Standard Library

Save and restore frames and windows with their buffers in Emacs

Proposals for the Fortran Standard Committee

A Zettelkasten system! Or rather, some functions on top of the emacs deft package.

(deprecated) Fortran website

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

Use cases for Fortran generics

Super Monadic Über Go-into : parser combinators for Common Lisp

F18 is a front-end for Fortran intended to replace the existing front-end in the Flang compiler

Fork of llvm git repository located at http://llvm.org/git/llvm.