The Pre-Scheme Restoration project is now underway

• hackett

  16 1,164 0.0 Racket

  WIP implementation of a Haskell-like Lisp in Racket

  Have you tried Alexis King's Hackett? It was an experiment in coercing Haskell semantics into lisp syntax and it came out really nicely.

  https://lexi-lambda.github.io/hackett/

• InfluxDB

  www.influxdata.com featured

  Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

  

• nonguix

  80 - -

  There is also the "secret" nonguix channel which packages nonfree things for Guix: https://gitlab.com/nonguix/nonguix

  It's a funny problem but because it's antithetical to the original project's spirit you won't hear about it from any official Guix sources and so it's relatively unknown.

• nixpkgs

  997 17,339 10.0 Nix

  Nix Packages collection & NixOS

  

• Carp

  87 5,499 0.0 Haskell

  A statically typed lisp, without a GC, for real-time applications.

  

  Without a new maintainer and perhaps a group of dedicated supporters, Carp may as well be considered abandoned. The existing head maintainer and major contributor has moved on to other things.

  https://github.com/carp-lang/Carp/issues/1460#issuecomment-2...

• oils

  245 2,809 8.7 Python

  Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

  

  This is similar to how https://www.oilshell.org/ is written

  There are two complete implementations

  1. one that runs under a stock Python interpreter (which doesn't use static types)

  2. one that's pure C++, translated from statically typed Python code, and from data structures generated in Python

  In the second case, everything before main() is "burned off" at build time -- e.g. there is metaprogramming on lexers, flag parsers, dicts, etc. that gets run and then into static C data -- i.e. pure data that incurs zero startup cost

  Comparison to Pre-Scheme: https://lobste.rs/s/tjiwrd/revival_pre_scheme_systems_progra... (types, compiler output, and GC)

  Brief Descriptions of a Python to C++ Translator - https://www.oilshell.org/blog/2022/05/mycpp.html

  ...

  And related to your other point, I remember looking at Racket's implementation around the time it started the Chez Scheme conversion. I was surprised that it was over 100K lines of hand-written C in the runtime -- it looked similar to CPython in many ways (which is at at least 250K lines of C in the core).

• coalton

  87 1,120 9.0 Common Lisp

  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  

  Common Lisp has Coalton [1]. It's basically a language embedded within Common Lisp which has HM types and a bit more modern constructs than CL.

  [1] https://coalton-lang.github.io/

Suggest a related project