Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
ynetd: a small (< 400 lines of C) server for binding programs to TCP ports
Updated -
vlarn: a classic multi-platform roguelike dungeon-crawl adventure
vlarn roguelike dungeon-crawl+ 3 moreUpdated -
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/)
Updated -
run-reduce: A JavaFX GUI to run the REDUCE Computer Algebra System, automatically mirrored from https://github.com/fjwright/Run-REDUCE
run-reduce reduce java+ 8 moreUpdated -
reducelinalg.jl: A selection of functions that are useful in the world of linear algebra, automatically mirrored from https://github.com/JuliaReducePkg/ReduceLinAlg.jl
reducelinalg.jl reduce julia+ 5 moreUpdated -
reducealgebra.jl: Meta-package for Reduce.jl and External Packages, automatically mirrored from https://github.com/JuliaReducePkg/ReduceAlgebra.jl
linalg reducealgebr... reduce+ 5 moreUpdated -
reduce.jl: Symbolic parser generator for Julia language expressions using REDUCE algebra term re-writer, automatically mirrored from https://github.com/chakravala/Reduce.jl
Updated -
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 historical lisp+ 21 moreUpdated -
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.
reduce computer-alg... lisp+ 19 moreUpdated -
randgoart: OpenSSH-style key visualization for Go.
Updated -
pktwallets: PKT Cash wallet distribution site
Updated -
PKT development, not intended for production. Use https://github.com/pkt-cash/pktd
Updated -
OX153: The Oxford 153 Entitlement: Mark I - a new, unique, non-free, and strongly proprietary software license
ox153 license oxford-comma+ 2 more -
opendnsmyip: A Go package to return the public-facing IPv4 address of the client (by querying the Cisco OpenDNS servers).
Updated -
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
reduce symbolic space-time+ 2 moreUpdated -
oa8signverify: OpenSSL-based RSA-16384 + SHA3-512 + ASCII85 (Base85) package signing tool.
Updated -
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.
mtt bond-graphs model-transf...+ 4 moreUpdated -
leaktestfe: A convenience library and front-end for Uber goleak.
goleak leak-detection goroutines+ 4 moreUpdated -
j-hpn-ssh: A development fork of the Pittsburgh Super-computing Center's High Performance SSH implementation.
Updated -
icas-bundled: REDUCE scripts that are bundled with iCAS, a port of REDUCE to iOS, automatically mirrored from http://alsoftiphone.com/iCAS/bundledFiles/
Updated