An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by nilqed

A curated list of projects in awesome lists by nilqed .

https://github.com/nilqed/snark

SNARK - SRI's New Automated Reasoning Kit

common-lisp theorem-prover

Last synced: 29 Jan 2026

https://github.com/nilqed/sixelspad

FriCAS sixel graphics output (TeX, GnuDraw)

Last synced: 10 Oct 2025

https://github.com/nilqed/jsxsi

Javascript Expert System Interface (includes CLIPS/COOL)

clips-rules emscripten

Last synced: 10 Oct 2025

https://github.com/nilqed/fricas_jupyter

Jupyter kernel for FriCAS (binary)

Last synced: 10 Mar 2026

https://github.com/nilqed/gle

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

graphics-engine graphics-layout-engine scripting-language

Last synced: 23 Mar 2025

https://github.com/nilqed/jsemcas

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

computer-algebra computer-algebra-system javascript repl standalone symbolic-math

Last synced: 23 Mar 2025

https://github.com/nilqed/fricas_w32

FriCAS for Windows (NSIS installer)

Last synced: 04 Jan 2026

https://github.com/nilqed/fricas0

A pure Common Lisp build of FriCAS

common-lisp computer-algebra-system fricas

Last synced: 04 Feb 2026

https://github.com/nilqed/fricas_kernel

FriCAS (wrapper) kernel for IPython

Last synced: 05 Apr 2026

https://github.com/nilqed/fricas_input

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

Last synced: 16 Feb 2026

https://github.com/nilqed/ipyxt

IPython extensions

Last synced: 13 Apr 2026

https://github.com/nilqed/jeditide

jedit IDE howto (example for FriCAS)

fricas ide jedit

Last synced: 17 Aug 2025

https://github.com/nilqed/fricas_docker

Dockerfile for nilqed/fricas image (auto-build)

Last synced: 28 Jan 2026

https://github.com/nilqed/spadlib

SPAD library (quicklisp/local-projects)

Last synced: 21 Feb 2026

https://github.com/nilqed/xsiTM

XSI/CLIPS/COOL TeXmacs plugin

clipsrules expert-system-shell texmacs-plugin

Last synced: 12 May 2025

https://github.com/nilqed/fricas_snark

Automated Theorem Prover for FriCAS (based on SNARK)

Last synced: 16 Jul 2026

https://github.com/nilqed/xsitm

XSI/CLIPS/COOL TeXmacs plugin

clipsrules expert-system-shell texmacs-plugin

Last synced: 23 Mar 2025

https://github.com/nilqed/jfricas.pip

FriCAS Jupyter Kernel - jfricas (pip3 package)

fricas jupyter-kernels pip3 python3

Last synced: 11 Sep 2025

https://github.com/nilqed/wax

Skeleton for a web application

Last synced: 11 Jun 2025

https://github.com/nilqed/fricas_quicklisp

SPAD package to interface QuickLisp

Last synced: 08 Feb 2026

https://github.com/nilqed/mas

MAS: Modula-2 Algebra System

Last synced: 08 Jan 2026

https://github.com/nilqed/djvu-djview

Last synced: 15 Jul 2026

https://github.com/nilqed/cl-sixel

Sixel graphics in Common Lisp

common-lisp sixel sixel-graphics

Last synced: 05 Mar 2026

https://github.com/nilqed/numaplot

Numerics and Plot Server (HTTP)

Last synced: 17 Jul 2026

https://github.com/nilqed/qmtrans

Transference Plans and Uncertainty

optimal-transport quantum-mechanics

Last synced: 24 Feb 2026

https://github.com/nilqed/ajaxspad

Serving SPAD (e.g. FriCAS) via webserver (HT, ajax)

Last synced: 14 Feb 2026

https://github.com/nilqed/ispad_docker

iSPAD -- Jupyter kernel for SPAD language (docker image - auto)

Last synced: 27 Apr 2026

https://github.com/nilqed/fricas_jaxmate

FriCAS + JaxMate (Browser Scratchpad)

Last synced: 29 Apr 2026

https://github.com/nilqed/clips-rules

Last synced: 02 May 2026

https://github.com/nilqed/fricas_smc

FriCAS+Jupyter for SCM (binary distribution)

Last synced: 02 May 2026

https://github.com/nilqed/jaxmate

MathJax enabled Mathematics Terminal

mathjax terminal webterminal

Last synced: 08 May 2026

https://github.com/nilqed/jucl

A (almost) fool-proof Jupyter kernel for Common Lisp

common-lisp jupyter jupyter-kernel

Last synced: 24 Apr 2026

https://github.com/nilqed/clips_jaxmate

CLIPS node server + JaxMaTe client

clips clipsrules expert-system

Last synced: 15 May 2026

https://github.com/nilqed/mma

Mock-Mma by Richard J. Fateman

common-lisp computer-algebra-system mma

Last synced: 05 Jan 2026

https://github.com/nilqed/fricas_http

FriCAS HTTP Server/Client (cl-hunchentoot/cl-drakma)

fricas http-client http-server hunchentoot

Last synced: 25 Jul 2025

https://github.com/nilqed/par

par is a paragraph reformatter, vaguely similar to fmt, but better.

text-formatting

Last synced: 27 Jul 2025

https://github.com/nilqed/webspad

SPAD web service

Last synced: 01 Aug 2025

https://github.com/nilqed/nssm2

Last synced: 23 Mar 2025

https://github.com/nilqed/reduce_jaxmate

REDUCE in browser (scratchpad, MathJax)

mathjax-node reduce-algebra webtool

Last synced: 23 Mar 2025

https://github.com/nilqed/cl-weyl

Weyl Computer Algebra Substrate (dev)

common-lisp computer-algebra computer-algebra-system

Last synced: 15 Aug 2025

https://github.com/nilqed/jedit-fork

Last synced: 23 Mar 2025

https://github.com/nilqed/physqty

PhysQty - Physical Quantities (FriCAS)

Last synced: 23 Mar 2025

https://github.com/nilqed/fricas-texmacs

FriCAS & TeXmacs (plugin enhancements)

computer-algebra-system fricas texmacs-config texmacs-plugin

Last synced: 04 Jan 2026

https://github.com/nilqed/rahd

Automatically exported from code.google.com/p/rahd

Last synced: 03 Feb 2026

https://github.com/nilqed/fricas_drawfe

More frontends for FriCAS ``draw``.

Last synced: 05 Jan 2026

https://github.com/nilqed/f2cl

Fortran to Lisp

Last synced: 05 Jan 2026

https://github.com/nilqed/scilab_fork

git://git.scilab.org/scilab

Last synced: 04 Jan 2026

https://github.com/nilqed/r_fork

https://svn.r-project.org/R/

Last synced: 23 Mar 2025

https://github.com/nilqed/abcl-j

Last synced: 23 Mar 2025

https://github.com/nilqed/dform

FriCAS package: DifferentialForms (DFORM)

Last synced: 05 Jan 2026

https://github.com/nilqed/maximacode

Orig: git clone https://git.code.sf.net/p/maxima/code maxima-code

Last synced: 05 Jan 2026

https://github.com/nilqed/gsll

Last synced: 05 Jan 2026

https://github.com/nilqed/lisa-rules

Lisa is a production rule system for Common Lisp, whose purpose is to provide a foundation for the development of "intelligent" applications. Lisa employs a modern CLOS implementation of Rete and is based on CLIPS and Jess.

clips-rules common-lisp forward-chaining production-system rete-algorithm

Last synced: 05 Jan 2026