-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMay 25, 2024 -
-
Article294 Public
An implementation of Gauss's Article 294 proof for finding rational zeroes of binary quadratic forms and rational points on conics.
Python GNU General Public License v2.0 UpdatedSep 3, 2019 -
delve Public
Forked from go-delve/delveDelve is a debugger for the Go programming language.
Go MIT License UpdatedApr 26, 2019 -
egison Public
Forked from egison/egisonEgison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, mult…
Haskell MIT License UpdatedJul 11, 2018 -
tint2-theme-collections Public
Forked from addy-dclxvi/tint2-theme-collectionsMy personal backup repository of Tint2 themes
GNU General Public License v3.0 UpdatedApr 21, 2018 -
-
acme-sac Public
Forked from caerwynj/acme-sacACME SAC (Stand Alone Complex) - The ACME editor for Windows/Mac/Linux
Limbo Other UpdatedJan 1, 2018 -
Calculates matrices of orthogonal projections onto subspaces of real vector spaces
Idris UpdatedNov 22, 2017 -
fitinfo2json Public
A simple Python script that takes in a FITINFO file (produced by Thomas Robitaille's SEDfitter Python library) and produces a JSON representation of the data.
Python UpdatedJun 9, 2017 -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
psychic-meme Public
Website for the Equality in Gaming Organization - Based on Synchronus by Templated
UpdatedJan 3, 2015 -
{{ message }}