Schemer is a scheme-based build tool, initially created to handle dependencies. Build files are written in pure scheme, with new syntax defined to handle dependency checking.
Oops [Object Oriented Program System] for Gambit Scheme Provides an Object System with features like CLOS & Dylan but notable differences as well. Requires Gambit Scheme version 4 available at: http://www.iro.umontreal.ca/~gambit/
Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.
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.