Discover @nilqed Open Source projects

Kurt Pagani (@nilqed)

nilqed

Stars
108
Global Rank 196,065 (Top 7 %)
Followers 12
Following 10
Registered over 12 years ago
Most used languages

Common Lisp
22.7 %

Python
18.2 %

JavaScript
18.2 %

Shell
9.1 %

C
9.1 %

HTML
9.1 %

Dockerfile
4.5 %

C++
4.5 %

Emacs Lisp
4.5 %
Location 🇺🇸 United States
Country Total Rank 46,413
Country Ranking

Common Lisp
139

Emacs Lisp
1,295

Dockerfile
2,678

Shell
3,334

latex2sixel

LaTeX to SIXEL conversion

SNARK

SNARK - SRI's New Automated Reasoning Kit

sixelSPAD

FriCAS sixel graphics output (TeX, GnuDraw)

ReduceAlgebra

https://svn.code.sf.net/p/reduce-algebra/code/

fricas_jupyter

Jupyter kernel for FriCAS (binary)

GLE

Graphics Layout Engine (GLE www.gle-graphics.org)

jsXSI

Javascript Expert System Interface (includes CLIPS/COOL)

fricas_w32

FriCAS for Windows (NSIS installer)

jsEmCAS

Javascript Computer Algebra System (standalone/emscripten based on eigenmath)

fricas_kernel

FriCAS (wrapper) kernel for IPython

IPyXt

IPython extensions

fricas_input

Conversion of FriCAS _.input files to Jupyter _.ipynb. Automated tests for iSPAD using nbconvert --execute

fricas_docker

Dockerfile for nilqed/fricas image (auto-build)

fricas0

A pure Common Lisp build of FriCAS

jeditIDE

jedit IDE howto (example for FriCAS)

jfricas.pip

FriCAS Jupyter Kernel - jfricas (pip3 package)

spad_http

Jupyter kernel for SPAD

wax

Skeleton for a web application

xsiTM

XSI/CLIPS/COOL TeXmacs plugin

fricas_cygwin

FriCAS for Cygwin64 (portable)

readable_sexp

spadlib

SPAD library (quicklisp/local-projects)

fricas_snark

Automated Theorem Prover for FriCAS (based on SNARK)