tofgarion Goto Github PK

ace-isearch

A seamless bridge between isearch, ace-jump-mode, avy, and helm-swoop.

advanced-scala

Source code for Advanced Scala with Cats

awesome-ada

Awesome resources and other links related to the Ada programming language

awesome-emacs

A community driven list of useful Emacs packages, libraries and others.

cdf-sem-meca

Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020

certyflie

cocosim

Automated Analysis Framework for Simulink/Stateflow models.

creative-scala

Quick, graphical, fun introduction to programming in Scala.

elegant-emacs

A very minimal but elegant emacs (I think)

essential-scala

Source code for Underscore's Essential Scala

essential-scala-code

Exercises and examples for the Essential Scala training course.

free-programming-books

:books: Freely available programming books

git-sync

Safe and simple one-script git synchronization

latexmk-pipe

A simple python-script in the spirit of rubber_pipe.py to be able to use latexmk with pipes

learn

Sources for learn.adacore.com

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

lp-visu

A simple Python app to visualize via Matplotlib the progress of the simplex algorithm

mobileorg-android

An implementation of MobileOrg for the Android platform

mwe-travis-spark

A minimum working example for using SPARK 2014 and travis

my-latex-packages

shapeless-guide

The Type Astronaut's Guide to Shapeless

spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

spark2014-cheat-sheet

A mini cheat sheet for SPARK 2014 beginners in LaTeX

spark_examples

Various examples of SPARK2014 code

stateflow_cps_semantics

A continuation passing style semantics for Stateflow in Ocaml

supaero-admin

LaTeX classes for SUPAERO administrative notes etc.

supaero-lectures

terminals-are-sexy

💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers.

the-power-of-prolog

Introduction to modern Prolog

tutorialada

An Ada tutorial