Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by MaxDesiatov
A curated list of projects in awesome lists by MaxDesiatov .
https://github.com/MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
developer-tools hindley-milner semantic-analysis semantic-analyzer swift type-checker type-checking type-inference type-system
Last synced: 05 Aug 2024
https://github.com/MaxDesiatov/SwiftConcurrencyExample
Experiments with Swift async/await and structured concurrency
Last synced: 09 Aug 2024
https://github.com/MaxDesiatov/Hleeb
Swift running on bare metal Raspberry Pi
bare-metal kernel operating-system operating-system-learning osdev raspberry-pi swift
Last synced: 03 Aug 2024
https://github.com/MaxDesiatov/SwiftPie
A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
dependent-types interpreter lambda-calculus swift
Last synced: 09 Aug 2024