hosc

Higher-Order Supercompiler

Stars
7
View Code on GitHub Visit Website
Ecosystems: Scala

Statistics for this project are still being loaded, please check back later.

Related Projects
ifdef

`@ifdef` is an annotation that implements conditional compilation in Scala

12 Oct 2023 29
Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

20 Jul 2017 79
scala-javalib

Partial implementation of the Java standard library in Scala

19 Feb 2013 8
clone-hero-chart-db

System for indexing clone hero charts

29 Nov 2017 1
mrsc

A toolkit for building multi-result supercompilers

23 Apr 2011 30
minimetamix

minimetamix - a collection of simple and minimalistic items

19 Jan 2014 6
scalatscomp

A TypeScript compiler written in Scala (wip)

20 Nov 2016 15
algebras

Reusable, composable, reasonably priced algebras for typeful effects and composable applications

02 Apr 2015 5
scala-bench

Some benchmarks of memory and runtime performance of Scala's collections

29 Sep 2016 43
functorial

variance-aware functional-programming in scala

24 Dec 2010 12
scalax-2018

Unfolding programs with interpreters

13 Dec 2018 10
zinc

Scala incremental compiler library, used by sbt and other build tools

04 Aug 2015 326
scala-js-fiddle

Source code for Scala.jsFiddle

26 Feb 2014 85
scala-basics

Scala Basics Workshop

26 Oct 2016 7
compilers

A place for me to learn/ experiment with interpreters/compilers

14 Jun 2022 12