a-mir-formality
ChezScheme
Our great sponsors
a-mir-formality | ChezScheme | |
---|---|---|
4 | 27 | |
244 | 6,845 | |
5.7% | 0.5% | |
9.3 | 9.0 | |
3 months ago | 9 days ago | |
Rust | Scheme | |
Apache License 2.0 | Apache License 2.0 |
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.
a-mir-formality
-
My resignation letter as R7RS-large chair
Racket is very used in the PLT community (programming language theory) for prototyping programming languages. Lots of cool stuff in this area.
For example, the MIR formality [0] project of the Rust programming language to formalize MIR (their intermediate language) was first prototyped in Racket [1], then rewritten in Rust. [1]'s readme give a rationale:
> For the time being, the model is implemented in PLT Redex. PLT Redex was chosen because it is ridiculously accessible and fun to use. It lets you write down type system rules and operational semantics and then execute them, using a notation that is very similar to what is commonly used in published papers. You can also write collections of unit tests and fuzz your model by generating test programs automatically.
> The hope is that PLT Redex will prove to be a sufficiently accessible tool that many Rust contributors will be able to understand, play with, and extend the model.
> One downside of PLT Redex is that it doesn't scale naturally to performing proofs. We may choose to port the model to another system at some point, or maintain multiple variants.
[0] https://github.com/rust-lang/a-mir-formality
[1] https://github.com/rust-lang/a-mir-formality/tree/1f40120f09...
- Officially announcing the types team
-
Why are Rust programs slow to compile?
But MIR optimizations are a bit of a mess right now. The semantics of MIR are not completely settled but that is an area of active work: https://github.com/nikomatsakis/a-mir-formality
-
Announcing: MiniRust
That's happening separately, in the "mir-formality" project: https://github.com/nikomatsakis/a-mir-formality
The two projects are related, but have different objectives (mir-formality includes traits and borrow checking, while MiniRust focuses on operational semantics).
ChezScheme
- Chez Scheme v10.0
- ChezScheme
-
Racket branch of Chez Scheme merging with mainline Chez Scheme
The main line of Chez Scheme is here:
https://github.com/cisco/ChezScheme
There is more work to be done before release 10.0.
-
Not only Clojure – Chez Scheme: Lisp with native code speed
What is yakihonne? Another blogging platform? Rather confusing to use.
Anyway, would have been nice for the article to link to Chez Scheme project's page, which seems to be this one:
https://github.com/cisco/ChezScheme
Also not clear why should folks use Chez? The article barely covered the why or what successful apps have been written in Chez.
-
My resignation letter as R7RS-large chair
Who will convince Kent to come back and make r6.1rs? https://github.com/cisco/ChezScheme/issues/574
If you want a large language, isn't it a better idea to build it on top of something the makes better guarantees for the user? I prefer my program to not continue executing after reaching an erroneous state.
-
Why does GUIX use guile if chez 20x faster + a bunch of other reasons?
So far as I know Chez is not a variation on Guile, it's a scheme implementation similar to Guile, and so far that I can see Guile is more active, with more community and more package ecosystem , and looks like Chez is/was a cisco project, not sure how is the development process there, but Guile looks like more active in terms of commits https://git.savannah.gnu.org/cgit/guile.git, the last one in "main" is 3 weeks ago vs may 23 https://github.com/cisco/ChezScheme/commits/main.
-
Are there any notable software projects done by traditionally non-software companies?
The link doesn't work for me but to answer the title, I found it interesting to learn that Chez Scheme (often regarded as the Scheme implementation which produces the fastest programs) is developed by Cisco, the company that makes networking hardware
-
Is anyone doing Advent of Code in R7RS this year?
Göran is spot on. I am sad that Marc's proposal on the chez tracker has seemingly died: https://github.com/cisco/ChezScheme/issues/574
-
Unable to install Chez Scheme, I'm lost 🙃. Can you illustrate me on how to do this because I have tried for a couple hours and I don't have time to waste so I guess is better if I ask step by step the meaning of all of this
Download the exe from here
-
GitHub Copilot investigation
Many open source project don't allow contributions from people that have worked with similar projects with incompatible licenses. I remember https://github.com/cisco/ChezScheme/pull/376#issuecomment-45... and https://wiki.winehq.org/Developer_FAQ#Copyright_Issues
What are some alternatives?
datafrog - A lightweight Datalog engine in Rust
r6rs-pffi - Portable Foreign Function Interface (FFI) for R6RS
renegade-way - Option Trading Application
racket-markdown-blog - This repository contains another attempt of writing a blog. The blog's "engine" is written in Racket. There is a Dockerfile which can be used to run the blog inside a Docker container, to ease deployment.
minirust - A precise specification for "Rust lite / MIR plus"
dumb-jump - an Emacs "jump to definition" package for 50+ languages
r7rs-spec
racket - The Racket repository
options-chain-marketdata.ps1
Mezzano - An operating system written in Common Lisp
r7rs-work
ops-examples - A repository of basic and advanced examples using Ops