RECENT POSTS
- Introduction to FreeBSD Security Best Practices
- Working with Package Management in FreeBSD
- Understanding FreeBSD Security Advisories and Updates
- Troubleshooting Common System Administration Issues in FreeBSD
- Tips for Hardening FreeBSD to achieve System Protection
- Setting Up DHCP Server in FreeBSD
- Secure User and Group Management in FreeBSD Systems
- Secure Remote Access with SSH in FreeBSD
- Optimizing System Performance in FreeBSD
- Network Packet Capture with tcpdump in FreeBSD
- All posts ...
Do you have GDPR compliance issues ?
Check out Legiscope a GDPR compliance software, that will save you weeks of work, automating your documentation, the training of your teams and all processes you need to keep your organisation compliant with privacy regulations
Mosml
Jul 20, 2023
Lightweight implementation of Standard ML
This is Moscow ML, a lightweight implementation of Standard ML
The current version of Moscow ML
- implements the full Standard ML language, as revised 1997, including Modules and some extensions
- yet is backwards compatible with versions prior to 2.00
- implements large parts of the new SML Basis Library
- implements separate compilation
- can produce compact stand-alone executables a la Caml Light
- supports quotations and antiquotations, useful for metaprogramming
- supports dynamic linking of external functions
Checkout these related ports:
- Zig - Language designed for robustness, optimality, and maintainability
- Zephir - Zephir is a transpiled language used for creating C-extensions for PHP
- Ypsilon - Scheme implementation for real-time applications
- Yorick - Interpreted language for scientific simulations
- Yap - High-performance Prolog compiler
- Yap-devel - High-performance Prolog compiler
- Yabasic - Yet another Basic for Unix and Windows
- Voc - Vishap Oberon Compiler for Oberon-2
- Vala - Programming language and compiler that converts Vala code into C code
- V8 - Open source JavaScript engine by Google
- V8-beta - Open source JavaScript engine by Google
- V - V Programming Language
- Urweb - Ultimate host for embedded domain-specific languages
- Ucc - C Compiler Which Implements the ANSI C89 Standard
- Twelf - Meta-logical framework for deductive systems