Top Corporate LMS for Training | Best Learning Management Software
Deliver and Track Online Training and Stay Compliant - with Axis LMS!
Axis LMS enables you to deliver online and virtual learning and training through a scalable, easy-to-use LMS that is designed to enhance your training, automate your workflows, engage your learners and keep you compliant.
Learn More
Component Content Management System for Software Documentation
Great tool for serious technical writers
Paligo is an end-to-end Component Content Management System (CCMS) solution for technical documentation, policies and procedures, knowledge management, and more.
A Dependently Typed Functional Programming Language
...Idris has support for external code generators. Supplied with the distribution is a C codegenerator to compile executables, and a JavaScript codegenerator with support for node.js and browser JavaScript.
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.