magmide/magmide issues and pull requests

#30 - Add a logo?

Issue - State: closed - Opened by abysssol 4 months ago - 1 comment

#27 - wtf is this and how will it make my life easier?

Issue - State: closed - Opened by Kreyren almost 2 years ago - 2 comments

#26 - Thoughts on Frama C?

Issue - State: closed - Opened by Hirrolot almost 2 years ago - 4 comments

#24 - Building the community

Issue - State: closed - Opened by serid over 2 years ago - 4 comments

#23 - Avoid Sisyphus trap

Issue - State: closed - Opened by vvs- over 2 years ago - 2 comments

#22 - skeleton implementation of parsing, checking, and rendering low-level instructions

Pull Request - State: closed - Opened by jeremyschlatter over 2 years ago - 7 comments

#21 - Research debt for contributors

Issue - State: closed - Opened by jgarvin over 2 years ago - 1 comment

#20 - Can you evaluate ATS?

Issue - State: closed - Opened by hungrymonkey over 2 years ago - 1 comment

#19 - Please add a donate button

Issue - State: closed - Opened by BGordts over 2 years ago - 1 comment

#18 - reproducible dev environment via nix-shell

Pull Request - State: closed - Opened by jeremyschlatter over 2 years ago - 1 comment

#14 - Typos in `intro-verification-logic-in-magmide.md`

Issue - State: closed - Opened by MartinKavik almost 3 years ago - 1 comment

#11 - Enable github discussions?

Issue - State: closed - Opened by infogulch almost 3 years ago - 1 comment

#10 - Initialize actual project structure for depelopement

Pull Request - State: closed - Opened by remimimimimi almost 3 years ago - 2 comments

#9 - The "Coq Coq Correct" link is broken on the README

Issue - State: closed - Opened by jmg-duarte almost 3 years ago

#8 - Thoughts (if you truly wish to make this a practical language)

Issue - State: closed - Opened by ckaran almost 3 years ago - 4 comments

#7 - consider name?

Issue - State: closed - Opened by ChrisJefferson almost 3 years ago - 8 comments

#6 - dev

Pull Request - State: closed - Opened by blainehansen almost 3 years ago

#5 - Basil - same syntax, same computational power in compile-time as in runtime

Issue - State: closed - Opened by dumblob almost 3 years ago - 7 comments

#4 - Great project

Issue - State: closed - Opened by remimimimimi almost 3 years ago - 2 comments

Ecosyste.ms: Issues

GitHub / magmide/magmide issues and pull requests