GitLab

ynetd: a small (< 400 lines of C) server for binding programs to TCP ports

vlarn: a classic multi-platform roguelike dungeon-crawl adventure

rvi: rvi is an interface to RCS that attempts to make the process of using RCS simpler. (Original source: https://www.cs.ru.ac.za/research/g98t4414/static/home/rvi/)

run-reduce: A JavaFX GUI to run the REDUCE Computer Algebra System, automatically mirrored from https://github.com/fjwright/Run-REDUCE

reducelinalg.jl: A selection of functions that are useful in the world of linear algebra, automatically mirrored from https://github.com/JuliaReducePkg/ReduceLinAlg.jl

reducealgebra.jl: Meta-package for Reduce.jl and External Packages, automatically mirrored from https://github.com/JuliaReducePkg/ReduceAlgebra.jl

reduce.jl: Symbolic parser generator for Julia language expressions using REDUCE algebra term re-writer, automatically mirrored from https://github.com/chakravala/Reduce.jl

reduce-historical: historical snapshots of the portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/historical/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, for additional details.

reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.

randgoart: OpenSSH-style key visualization for Go.

pktwallets: PKT Cash wallet distribution site

PKT development, not intended for production. Use https://github.com/pkt-cash/pktd

OX153: The Oxford 153 Entitlement: Mark I - a new, unique, non-free, and strongly proprietary software license

opendnsmyip: A Go package to return the public-facing IPv4 address of the client (by querying the Cisco OpenDNS servers).

olli-scripts: Dieter (Olli) Egger's REDUCE/Symbolic scripts, used as demonstrations for Symbolic (as shown in the screenshots on Google Play), and relating to Dieter's research in curved space-time, with scientific background papers, automatically mirrored from https://reduce-algebra.sourceforge.io/tutorials/EggerScripts.en.php

oa8signverify: OpenSSL-based RSA-16384 + SHA3-512 + ASCII85 (Base85) package signing tool.

mtt: Model Transformation Tools, Bond-graph based modeling tools: A set of tools for modeling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control, and simulation.

leaktestfe: A convenience library and front-end for Uber goleak.

j-hpn-ssh: A development fork of the Pittsburgh Super-computing Center's High Performance SSH implementation.

icas-bundled: REDUCE scripts that are bundled with iCAS, a port of REDUCE to iOS, automatically mirrored from http://alsoftiphone.com/iCAS/bundledFiles/