Pinned Repositories
fricas0
A pure Common Lisp build of FriCAS
fricas_jupyter
Jupyter kernel for FriCAS (binary)
fricas_w32
FriCAS for Windows (NSIS installer)
GLE
Graphics Layout Engine (GLE www.gle-graphics.org)
jsEmCAS
Javascript Computer Algebra System (standalone/emscripten based on eigenmath)
jsXSI
Javascript Expert System Interface (includes CLIPS/COOL)
latex2sixel
LaTeX to SIXEL conversion
ReduceAlgebra
https://svn.code.sf.net/p/reduce-algebra/code/
sixelSPAD
FriCAS sixel graphics output (TeX, GnuDraw)
SNARK
SNARK - SRI's New Automated Reasoning Kit
nilqed's Repositories
nilqed/latex2sixel
LaTeX to SIXEL conversion
nilqed/sixelSPAD
FriCAS sixel graphics output (TeX, GnuDraw)
nilqed/ReduceAlgebra
https://svn.code.sf.net/p/reduce-algebra/code/
nilqed/fricas0
A pure Common Lisp build of FriCAS
nilqed/pure-lang
Pure programming language
nilqed/spadlib
SPAD library (quicklisp/local-projects)
nilqed/xsiTM
XSI/CLIPS/COOL TeXmacs plugin
nilqed/aamath
Reads mathematical expressions in infix notation and renders them as ASCII art
nilqed/aldor
The Aldor Programming Language
nilqed/asciimathml
A new home for asciimathml
nilqed/beanshell
Beanshell scripting language
nilqed/djvu-djview
nilqed/djvu-djvulibre
nilqed/f2cl
Fortran to Lisp
nilqed/fricas
Official repository of the FriCAS computer algebra system
nilqed/hyper
A terminal built on web technologies
nilqed/jfricas
Jupyter kernel for FriCAS (pip package)
nilqed/LDP
The main LDP repository, waiting for your Pull Requests
nilqed/libsixel
The new standard of SIXEL development
nilqed/lisp-on-tex
A LISP interpreter written in TeX macros
nilqed/mendeleev
A python package for accessing various properties of elements, ions and isotopes in the periodic table of elements.
nilqed/nilqed.github.io
nilqed/par
par is a paragraph reformatter, vaguely similar to fmt, but better.
nilqed/pure_jaxmate
Pure node server + JaxMaTe client
nilqed/reduce_jaxmate
REDUCE in browser (scratchpad, MathJax)
nilqed/SciTe
GitHub Repository for Version Control of the SciTe Text Editor.
nilqed/UserLAnd
Main UserLAnd Repository
nilqed/webpy
web.py is a web framework for python that is as simple as it is powerful.
nilqed/WikidPad
WikidPad is a single user desktop wiki
nilqed/wnutils
A set of python routines for working with output from webnucleo codes.