OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
An interpreter of lambda calculus.
It shows reduction process of lambda terms.
Several evaluation strategies are supported.
Output format can be selected from LaTex, plain text.
Zarbi is a tool to create slideshows. Using a simple XML based input format, it can generates several outputs: HTML (single and splitted), PDF, LaTeX, TXT. Themes are available.
TinySemantics is a theme/skin for TinyMCE. Its emphasis is on generating valid XHTML using the WYSIWYG TinyMCE editor. This theme is Text Only and is suitable for use with CMS where presentation has been separated from content.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Bibgrep indexes and searches BibTex files for entries matching
a given query. Its usage is similar to the command ``grep'' and
the queries uses a Google-like syntax.
Fireball (FSD) Amoeba is a distributed operating system. It collects a huge
varity of single machines connected over a (fast) network to one,
huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.
The MlDoC system is a powerfull but 'simple as needed' documentation tool
for OCaML programming projects. It consists currently of a frontend
module and various backend modules for HTML, ASCII-Text and LaTeX output.