Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by slemus9

A curated list of projects in awesome lists by slemus9 .

https://github.com/slemus9/proust

Last synced: 15 Nov 2024

https://github.com/slemus9/pfp-scala

Last synced: 15 Nov 2024

https://github.com/slemus9/hott-intro

Formalizations from: Introduction to Homotopy Type Theory by Egbert Rijke

Last synced: 15 Nov 2024

https://github.com/slemus9/pi-calculus

Last synced: 15 Nov 2024

https://github.com/slemus9/plfa

Solutions to the book: Programming Language Foundations in Agda, from Wadler, Philip, Wen Kokke, and Jeremy G. Siek

agda functional-programming plfa programming-languages

Last synced: 15 Nov 2024

https://github.com/slemus9/corelang-hs

Code and exercises of the book Implementing Functional Languages: a tutorial by S.P. Jones and D. Lester

functional-programming haskell tutorial

Last synced: 15 Nov 2024

https://github.com/slemus9/competitiveprogramming

Solutions and Algorithms to some competitive programming problems

Last synced: 15 Nov 2024

https://github.com/slemus9/gh-alerts-dummy

Repository to test Github web hooks

Last synced: 15 Nov 2024

https://github.com/slemus9/sprite-lang-scala

Implementation of a language with Refinement Types

refinement-types scala smt

Last synced: 14 Oct 2024