Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/iamrecursion/absol

dissertation domain-specific-language dsl formal-semantics formal-verification haskell metacompiler metalanguage

Last synced: 2 days ago
JSON representation

Formally correct DSLs

Host: GitHub
URL: https://github.com/iamrecursion/absol
Owner: iamrecursion
License: bsd-3-clause
Created: 2016-07-15T07:13:27.000Z (over 8 years ago)
Default Branch: master
Last Pushed: 2017-06-05T11:46:27.000Z (over 7 years ago)
Last Synced: 2024-04-18T05:50:03.435Z (7 months ago)
Topics: dissertation, domain-specific-language, dsl, formal-semantics, formal-verification, haskell, metacompiler, metalanguage
Language: Haskell
Size: 4.97 MB
Stars: 5
Watchers: 1
Forks: 1
Open Issues: 0