-
fortran-examples Public
A sit of Fortran projects gathered from GitHub, GitLab, and other places
-
fpp-202y Public
Forked from j3-fortran/fpp-202yWork files for proposed Fortran 202y preprocessor standardization
BSD 3-Clause "New" or "Revised" License UpdatedJun 25, 2025 -
-
fortran-lang-org-webpage Public
Forked from fortran-lang/webpageNew Fortran webpage
Python MIT License UpdatedMar 2, 2025 -
BerkeleyLab-assert Public
Forked from BerkeleyLab/assertAn utility for the run-time checking of program requirements and for providing diagnostic error output inside pure procedures
Fortran Other UpdatedFeb 23, 2025 -
classic-flang-llvm-project Public
Forked from flang-compiler/classic-flang-llvm-projectLLVM monorepo for integration with classic flang
LLVM Other UpdatedFeb 16, 2025 -
maude-cpp-garrido Public
Maude code from the paper Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings Alejandra Garrido, José Meseguer, and Ralph Johnson
1 UpdatedFeb 6, 2025 -
-
writingLogTemplateInOrg Public
Forked from MooersLab/writingLogTemplateInOrgTemplate for writing.log in org-mode
TeX MIT License UpdatedDec 18, 2024 -
classic-flang Public
Forked from flang-compiler/flangFlang is a Fortran language front-end designed for integration with LLVM.
C Other UpdatedDec 5, 2024 -
BerkeleyLab-fortran-compiler-test-suite Public
Forked from BerkeleyLab/fortran-compiler-test-suiteA framework and suite of cases for testing a Fortran compiler
Python Other UpdatedNov 14, 2024 -
Combined errata for Benjamin C. Pierce's book Types and Programming Languages
Shell UpdatedSep 19, 2024 -
-
-
FCVS_95 Public
Modified version of NIST F77 validation suite, updated for Fortran 95, form http://www.fortran-2000.com/ArnaudRecipes/fcvs21_f95.html
-
FCVS Public
NIST F77 Fortran validation suite from http://www.fortran-2000.com/ArnaudRecipes/fcvs21_95.html
-
pub-to-latex-converter Public
Awk program used to convert from old PUB format "A Computational Logic" to LaTeX for Boyer and Moore.
-
cover-problem-solver Public
A simple cover-problem solver based on Knuth's Dancing Links paper.
Common Lisp Apache License 2.0 UpdatedJun 21, 2020 -
sudoku-simple Public
A simple sudoku solver that validates puzzles first before solving them by elimination and recursion.
-
pdxfunc-cis194 Public
Forked from enolan/pdxfunc-cis194Tests for the homework from CIS 194
Haskell Other UpdatedMar 18, 2017
{{ message }}