its
fricas
| its | fricas | |
|---|---|---|
| 35 | 8 | |
| 815 | 286 | |
| 1.2% | 0.7% | |
| 8.7 | 9.3 | |
| about 23 hours ago | 10 days ago | |
| Assembly | Clojure | |
| GNU General Public License v3.0 or later | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
its
-
Integral Calculator
Compile ITS and just run :macsyma at the DDT prompt (shell/debugger) from ITS:
https://github.com/pdp-10/its
The syntax it's the same, I even made a plot and 'printed' into the host from an ARDS output from the plot command, by converting the file into PPM->PNG or PPM->PDF.
- The Magic Switch – Modern Update
-
Research Unix Sixth Edition (WASM)
ITS didn't really have password control, one was technically added but IIRC it was a fig leaf on some requirement from outside MIT. The user accounts were there mostly to inform others who was logged on and who owned what process.
You could login either using terminal through ARPAnet dial-in support, or later over network, and over time there was added a more concrete "tourist" policy.
DonHopkins seems to have an interesting writeup https://donhopkins.medium.com/mit-ai-lab-tourist-policy-f73b...
and of course there's PDP-10 org and its gather docs on github: https://github.com/PDP-10/its
-
PDP-10 Incompatible Timesharing System emulator
Terry and SHRDLU at 8:23 here: https://archive.org/details/what-about-tomorrow-on-the-side-...
See this for some more information: https://github.com/PDP-10/its/issues/425#issuecomment-145588...
-
So that's where failed print jobs go!
The Magic Switch (in reference to the More Magic, above)
-
Original PDP-10 Zork now rebuilt with MDL compiler
Oops, URL should be https://github.com/PDP-10/its/pull/2150
-
Zork compiled from MDL source code
For more info, see https://github.com/PDP-10/its/pull/2150
- 1981 mainframe Zork built from MDL source code
fricas
-
Integral Calculator
But it's integration functionalities are less advanced and comprehensive than those of Fricas. Interestingly, the latter is, like Maxima, implemented using Lisp and stems from a ancient software lineage. Both systems are free and open-source.
Fricas home page: http://fricas.github.io
Some independent integration benchmarks, comparing multiple computer algebra systems: https://www.12000.org/my_notes/CAS_integration_tests/index.h...
- FriCAS – an advanced computer algebra system
-
Strategies for doing symbolic integration algorithmically
Even partial implementations of the Risch algorithm can be pretty daunting but you might look at a couple heuristics that handle the easier bits, like Manel Bronstien's Poor Man's Integrator https://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/index.html which doesn't need as many algebraic tools, but does need gcd, factor, and solve. I think FriCAS might use this https://github.com/fricas/fricas
- A Mature Library For Symbolic Computation?
-
[2021 Day 6] [Fricas] Solution via finding a recurrence and solving it
Fricas home page: https://fricas.github.io
-
Is Haskell a good language for CAS/numerical analysis?
I used to use Maxima back in the day, which is embedded in Lisp. With a quick googling I found FriCAS https://github.com/fricas/fricas , which aims to be "world class" AND its libraries are built in a strongly-typed DSL called Spad.
-
"FriCAS algebra library, the largest and most advanced free general purpose computer algebra system" (as of September 2007)
BTW this is not a Clojure project. It contains .boot files that look like this and GitHub thinks they're Clojure. Trying to edit the .gitattributes through a PR.
What are some alternatives?
vmtouch - Portable file system cache diagnostics and control
axiom - The dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
sims - Burroughs B5500, ICL1900, SEL32, IBM 360/370, IBM 7000 and DEC PDP10 KA10/KI10/KL10/KS10, PDP6 simulators for SimH
axiom - Axiom is a free, open source computer algebra system
MS-DOS - The original sources of MS-DOS 1.25 and 2.0, for reference purposes
Axiom - An FFmpeg GUI for Windows
a2d - Disassembly of the Apple II Desktop - ProDOS GUI
Symbolics.jl - Symbolic programming for the next generation of numerical software
tenex - BBN's PDP-10 operating system
cadabra2 - A field-theory motivated approach to computer algebra.
tashtalk - An interface for Apple's LocalTalk networking protocol.
casadi - CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.