gklimowicz/pub-to-latex-converter

Stars
1
Language Awk
License
The Unlicense
Created about 11 years ago
Updated over 4 years ago

gklimowicz/pub-to-latex-converter

gklimowicz

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Awk program used to convert from old PUB format "A Computational Logic" to LaTeX for Boyer and Moore.

fortran-examples

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

sudoku-simple

A simple sudoku solver that validates puzzles first before solving them by elimination and recursion.

maude-cpp-garrido

Maude code from the paper Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings Alejandra Garrido, José Meseguer, and Ralph Johnson

FCVS

NIST F77 Fortran validation suite from http://www.fortran-2000.com/ArnaudRecipes/fcvs21_95.html