jgoldfar

maxima-docker

Dockerfile for maxima + LaTeX projects

alpine-sbcl

Bootstrap build for SBCL in Alpine Linux, since it's not available for older Alpine versions

language-maxima

Maxima language package for Atom.io

maxima-clone

Maxima (http://maxima.sourceforge.net/) mirrored with https://github.com/TransitiveDependencyDownstreams/Vendored

octave-docker

Docker images for Octave, built against Debian and (soon) Alpine Linux

jgoldfar.github.io

Home on the web for jgoldfar, generated by Hugo (https://gohugo.io/)

cmstest-base-docker

Base image for tests run against a docs + code repo

conda-docker

repository of docker images

django_save_logger

A Django utility for archiving database writes and deletes.

fenics-docker

fipy

FiPy is a Finite Volume PDE solver written in Python. Forked from unistgov/fipy to store Python v3-compatible sources

FlipperZero-Setup

Setup instructions and tracking for upstream (firmware) updates

go

The Go programming language

hangups_cli

Command line interface for hangups by tdryer

hugo

A Fast and Flexible Static Site Generator built with love by spf13 in GoLang

jenkins

Jenkins Continuous Integration Server

julia

The Julia Language: A fresh approach to technical computing.

lean4

Lean 4 programming language and theorem prover (mirror)

miniconda3-latex-docker

Docker image for Miniconda3 + a minimal LaTeX distribution

mirror-octopus-repo

Script to keep my Octopus mirror up-to-date, deprecated by https://github.com/TransitiveDependencyDownstreams/Vendored

octave-builder

Validation for MacOS Build, GNU Octave (https://www.gnu.org/software/octave/)

octave-pde1d-docker

Docker builder for Octave + PDE1D

pde1d

1D PDE Solver for MATLAB and Octave

scala

The Scala programming language

SPSBase.jl

Base functionality for the solution of a version of the scheduling problem

SPSInterface.jl

Provides a high-level interface to tools for efficient work scheduling

SPSRunner.jl

Scheduling problem solver using JuMP and Couenne/Bonmin

stan

Stan development repository (home page is linked below). The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

swig

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

WeightedNorms.jl

Define weighted Euclidean norms over datasets