Search Results for "texmacs"
Sort By:
Showing 9 open source projects for "texmacs"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
1
Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
... including Run-REDUCE, TeXmacs and GNU Emacs. REDUCE (and its complete source code) is available free of charge for most common computing systems, in some cases in more than one version for the same machine. The manual and other support documents and tutorials are also included in the distributions. -
2
Ufficio Zero Linux OS
Linux Desktop OS for professionals
Ufficio Zero Linux OS is a desktop operating system offered in many versions based on PCLinuxOS, Linux Mint and Devuan. We also have created Duplica, a Bare Metal Restore Solution. This distro has many packages for professional use. The project is managed by the Italian company SIITE SRLS and promoted by the Italian Association Boost Media APS. Ufficio Zero Linux OS is trademarked through the Linux Mark Institute. All rights reserved. Linux® is the registered trademark of Linus...">
-
3
Totally Built Linux Distro
build linux from termcap to GTK-4.7 100% non-stop
Build all of a light linux distro non-stop and no buildfails with just a few commands. (not including un-tarring initial DL) Current Build Time: 3 to 4.7 hours* on an iCore7 using -j8 It's all automatic from Termcap to Gtk-4 and making new USB, it's new enough run firefox 20-130 and Mathematica 4 - 14. Minimal commandlines and configuration required; just a few in itself. Cross Compiles i386 to x86_64 (note not a canadian cross). ~500 pkgs built including configured database... -
4
Free computer algebra system, compatible with existing CAS, as a C++ library with various user interfaces (GUI with formal spreadsheet and exact dynamic geometry, on-line, readline, emacs, texmacs...).
">
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
A set of plug-ins for GNU Texmacs (http://www.texmacs.org/) that allows editing of external files. The basic plug-in is easily extended to implement more advanced functionalities relevant to, for example, programming.
-
6
-
7
A virtual appliance providing a WYSIWYG environment for doing mathematics (numerical and symbolic), plotting graphs, writing and drawing, in a typeset document that may be saved or exported to PDF.
-
8
The Mnemosyne plugin for TeXmacs allows you to edit databases from the Mnemosyne flash-card program in TeXmacs, allowing you to include or edit mathematics in a fairly easy and efficient way.
-
9
-
Unimus makes Network Automation and Configuration Management easy.We aim to make automation, disaster recovery, change management and configuration auditing painless and affordable for a network of any size.
- Previous
- You're on page 1
- Next