Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

L1c

l1c is a simple formally verified compiler for a while language
Stars
55
License
other
Open Issues
0
Most Recent Commit
9 years ago
Programming Language
Standard ML
Categories
Repo
Alternatives To L1c
Select To Compare
50projects50days ⭐ 32,757
50+ mini web projects using HTML, CSS & JS
total releases 1most recent commit 3 months ago
Lectures ⭐ 15,503
Oxford Deep NLP 2017 course
most recent commit 10 months ago
N Blog ⭐ 15,244
《一起学 Node.js》
most recent commit a year ago


Suggest An Alternative To l1c
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Language
Course
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.