Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by lastland
A curated list of projects in awesome lists by lastland .
https://github.com/lastland/scala-forklift
Type-safe data migration tool for Slick, Git and beyond.
database-migrations scala slick
Last synced: 01 Nov 2024
https://github.com/lastland/tricks-museum
a collection for interesting code tricks
Last synced: 28 Oct 2024
https://github.com/lastland/clairvoyancemonad
The Coq formalization of the paper Reasoning about the garden of forking paths.
Last synced: 27 Oct 2024
https://github.com/lastland/scala-forklift-quill
A demonstration of using Scala-Forklift to support database migrations on Quill.
Last synced: 10 Oct 2024
https://github.com/lastland/minix-3.1.7-lottery-scheduler
A patch to implement lottery scheduling policy on MINIX 3.1.7.
Last synced: 10 Oct 2024
https://github.com/lastland/haskelltheoremprover
A theorem proving framework for intuitionistic and classical propositional logics in Haskell.
Last synced: 10 Oct 2024
https://github.com/lastland/play-slick-forklift-example
An example of doing database migration using play, play-slick, and scala-forklift.
Last synced: 10 Oct 2024
https://github.com/lastland/scalahdl2
The second version of ScalaHDL. Scala style!
Last synced: 10 Oct 2024
https://github.com/lastland/network-assignments
My assignments for Jingyu Zhou's network course.
Last synced: 10 Oct 2024
https://github.com/lastland/ptsemforeffects
A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"
Last synced: 10 Oct 2024
https://github.com/lastland/imageprocessor
My assignment for Image Process course
Last synced: 10 Oct 2024
https://github.com/lastland/life-clj
A simple implementation of Conway's Game of Life in Clojure.
Last synced: 10 Oct 2024
https://github.com/lastland/my-notes
my notes on books, courses, and others.
Last synced: 10 Oct 2024
https://github.com/lastland/basketballgym
My assignment for Computer Graphics course
Last synced: 10 Oct 2024
https://github.com/lastland/99problemsscala
my solutions to 99 Scala Problems(http://aperiodic.net/phil/scala/s-99/)
Last synced: 10 Oct 2024
https://github.com/lastland/scala-forklift-start-template
Start template for Scala-Forklift.
Last synced: 10 Oct 2024
https://github.com/lastland/fpinpl
A collection of FP concepts in languages other than traditional functional languages.
Last synced: 10 Oct 2024
https://github.com/lastland/csdi-papers-notes
my personal notes for papers read for CSDI course
Last synced: 10 Oct 2024
https://github.com/lastland/reactiveprogrammingsolution
My Assignments for the course Principles of Reactive Programming on Coursera
Last synced: 10 Oct 2024
https://github.com/lastland/myhttpd
An HTTP library based on GNU libmicrohttpd.
Last synced: 10 Oct 2024
https://github.com/lastland/mergesort
A demo of using ad-hoc polymorphism to implement merge sort in Scala.
cats demo foldable monoid scalacheck
Last synced: 10 Oct 2024
https://github.com/lastland/licenser
A simple command line program which help you add license to your project.
Last synced: 10 Oct 2024
https://github.com/lastland/haskell-ci
Writing CI configurations with Haskell (a better name is needed)
Last synced: 10 Oct 2024
https://github.com/lastland/simpl
An Intepreter of SimPL programming language.
Last synced: 10 Oct 2024
https://github.com/lastland/domaintheory
Robert Dockins' formalization of domain theory migrated to Coq 8.7
Last synced: 10 Oct 2024
https://github.com/lastland/dcnprotocolslectureslides
the slides of a presentation I would be giving at tcloud group seminar, using reveal.js.
Last synced: 10 Oct 2024