|12 days ago||2 days ago|
|GNU General Public License v3.0 or later||MIT License|
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.
[ANN] Copilot 3.16
2 projects | /r/haskell | 8 Jul 2023
[ANN] NASA's Ogma 1.0.9
2 projects | /r/haskell | 21 May 2023
[ANN] NASA's Ogma -- now with FPrime support
7 projects | /r/haskell | 23 Mar 2023
[ANN] NASA's Ogma 1.0.7
2 projects | /r/haskell | 25 Feb 2023
[ANN] Summer Internship at NASA Ames Research Center
2 projects | /r/haskell | 16 Feb 2023
The student, if selected, will be working on extending our capabilities to test cFS/ROS/FPrime applications, especially those using Ogma and/or Copilot for monitoring. Both Ogma and Copilot are open-source software written in Haskell.
I want to learn Haskell, but...
5 projects | /r/haskell | 12 Feb 2023
For low-level embedded, you have Copilot!
[ANN] Copilot 3.12
3 projects | /r/haskell | 14 Nov 2022
Current emphasis is on improving the codebase in terms of stability and test coverage, removing unnecessary dependencies, hiding internal definitions, and formatting the code to meet our new coding standards. Users are encouraged to participate by opening issues and asking questions via our github repo (https://github.com/copilot-language/copilot).
[ANN] Copilot 3.11
2 projects | /r/haskell | 7 Sep 2022
Copilot: Realtime Programming Language and Runtime Verification Framework
3 projects | news.ycombinator.com | 27 Aug 2022
In case you are wondering which copilot came first (I certainly was) - this repository starts in 2010 with a source code upload: https://github.com/Copilot-Language/copilot/commits/b2fc3456...3 projects | news.ycombinator.com | 27 Aug 2022
not maintainer but I think the correct one is this: https://github.com/Copilot-Language/copilot/tree/master/copi...
GCC 13 and the state of gccrs
4 projects | /r/rust | 25 Apr 2023
Mrustc supports Rust 1.54.0 today
Any alternate Rust compilers?
10 projects | /r/rust | 10 Apr 2023
Stop Comparing Rust to Old C++
10 projects | /r/cpp | 31 Jan 2023
There are three. The official one, mrustc (no borrow checker, but can essentially compile the official rustc) and GCC (can't really compile anything substantial yet). Only rustc is production-ready though.
“33% of GStreamer commits are now in Rust”, from the 1.22 release notes
5 projects | /r/linux | 25 Jan 2023
Otherwise you could try compiling to C using mrustc and going from there, but as mrustc is really only intended for compiler bootstrapping it won't be a fun experience. Mrustc mostly just assumes that the code you're compiling is valid, so you lose all the advantages of choosing Rust over C in the first place. It also targets x86-64 so the C it emits might need some work before it'll compile.
Am I dumb or does rust have a garbage collector?
4 projects | /r/rust | 9 Jan 2023
In fact, https://github.com/thepowersgang/mrustc compiles code without the need for a borrow checker :-)
GCC Rust Front-End Cleared For Merging In GCC 13
2 projects | /r/rust | 7 Dec 2022
Instead of an independent re-implementation, a small niche implementation whose only purpose is to bootstrap, like mrustc. Since its a much smaller scope, and only intended to work on known correct code, its much simpler and easier to do. It doesnt need to do any type or borrow checking or much of anything, because the rust source is already known to be correct/checked by itself.2 projects | /r/rust | 7 Dec 2022
There is also mrustc
Rust front-end approved for merge into GCC
3 projects | /r/linux | 6 Dec 2022
Resources on Lifetimes
3 projects | /r/rust | 19 Nov 2022
Lifetime sigils couldn't change the structure of your program, they don't actually affect anything it it, in fact you can remove them from correct program, compile it with mrustc (which ignores lifetime marks) and it would still work.
A Brief Interview with Common Lisp Creator Dr. Scott Fahlman
3 projects | news.ycombinator.com | 12 Nov 2022
Ideally, what Guix would want is similar to what https://github.com/thepowersgang/mrustc/ does for Rust (a compiler, not written in Rust, for Rust).
So for Dylan, we'd like to have a compiler for Open Dylan, not written in Dylan. (it can also require multiple steps to get up to Open Dylan--that would be fine)
It's not in the interest of our users to use binary blob compilers for bootstrapping.
We would also unbundle LLVM, clang and the bdw gc and use the ones from Guix.
What are some alternatives?
Obsidian - Obsidian Language Repository
gccrs - GCC Front-End for Rust
gccrs - GCC Front-End for Rust
llvm-cbe - resurrected LLVM "C Backend", with improvements
gcc-rust - a (WIP) Rust frontend for gcc / a gcc backend for rustc
miri - An interpreter for Rust's mid-level intermediate representation
winlamb - A lightweight modern C++11 library for Win32 API, using lambdas to handle Windows messages.
cFS - The Core Flight System (cFS)
rustls - A modern TLS library in Rust
ponyc - Pony is an open-source, actor-model, capabilities-secure, high performance programming language
C-structs - C-Struct Types for Haskell