mps VS neut

Compare mps vs neut and see what are their differences.

neut

A dependently-typed programming language with static memory management (by vekatze)
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
mps neut
8 2
539 827
1.5% -
6.9 9.9
2 months ago 2 days ago
C Haskell
GNU General Public License v3.0 or later MIT License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

mps

Posts with mentions or reviews of mps. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-01-21.
  • Boehm Garbage Collector
    9 projects | news.ycombinator.com | 21 Jan 2024
    I have a library which has an extremely slow free, around 2m for large files, because of unnaturally scattered allocation patterns, but this old conservative GC didn't help at all. It was about 40% slower with libgc. mimalloc was a bit better. Best would be a properly fast GC, like mps https://github.com/Ravenbrook/mps, but this would be too much work.
  • Ask HN: Best compiler/interpreter books for hacking on Scheme?
    2 projects | news.ycombinator.com | 19 Jul 2023
    The first thing you should look at is MPS (see https://github.com/Ravenbrook/mps and https://www.ravenbrook.com/project/mps/). It's open source, professionally maintained and very powerful, and it was used e.g. in Dylan and LispWorks.
  • Memory Pool System is a flexible and adaptable memory manager
    1 project | /r/hypeurls | 17 Dec 2022
    1 project | news.ycombinator.com | 17 Dec 2022
  • Mmtk: Memory Management Toolkit
    2 projects | news.ycombinator.com | 14 Dec 2022
    I wonder how the MMTK compares to the venerable Ravenbrook MPS https://www.ravenbrook.com/project/mps/ which originated in Harlequin’s programming language implementations, particularly Dylan.
  • Garbage Collection with LLVM
    3 projects | /r/ProgrammingLanguages | 24 Sep 2022
    I am trying to implement garbage collection for my language because I want memory management for arrays/lists and strings. I am looking through LLVM's garbage collection page but the documentation isn't great. Are there any other resources that offer more concrete steps to implement garbage collection? Would it be wise to circumvent LLVM all together for garbage collection and only use something like the Memory Pool System? Thanks!
  • Memory Management Reference
    3 projects | news.ycombinator.com | 12 Jul 2022
    This post seems related to the authors of MPS (1) that seems to be a general garbage-collector to use with various languages.

    Many GC'd languages really didn't bother with stack-allocating variable-size entities, and regardless of if they did then _precicely_ scanning the stack would be complicated without compiler help.

    If the compiler doesn't leave any info to the GC, then it can't know if it's scanning a pointer or a float and if your GC strategy relies on compacting memory (ie moving objects) then trying to guess between a float or a pointer can become fatal.

    (1) https://github.com/Ravenbrook/mps

neut

Posts with mentions or reviews of neut. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-12.
  • Memory Management Reference
    3 projects | news.ycombinator.com | 12 Jul 2022
    There's also an interesting programming language called Neut [1]:

    > A dependently-typed programming language with compile-time malloc/free determination.

    Also related "ASAP: As Static As Possible memory management" [2].

    I think most of the "innovation" you're talking about is happening in the programming language design field.

    [1] https://github.com/vekatze/neut

  • Rust is hard, or: The misery of mainstream programming
    3 projects | /r/ProgrammingLanguages | 2 Jun 2022
    Have you seen Neut? The author claims that it can determine malloc/free at compile-time.

What are some alternatives?

When comparing mps and neut you can also consider the following projects:

mmtk-core - Memory Management ToolKit

langs

c - Visual Studio Code C/C++ development

evcxr

mark-sweep - A simple mark-sweep garbage collector in C

datatype99 - Algebraic data types for C99