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
Polyml
Jul 20, 2023
Fast open-source implementation of Standard ML
Poly/ML is a full implementation of Standard ML available as open-source. It includes a symbolic debugger which allows breakpoints to be set and local variables to be viewed as ML values.
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