JaVers - object auditing and diff framework for Java

Learn Low Level Design (LLD) and prepare for interviews using free resources.

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

JDK main-line development https://openjdk.org/projects/jdk

A Compiler Writing Journey

A purely functional programming language with first class types

The Flix Programming Language

A Maven plugin for Idris 2

This is the public repository for the CFR Java decompiler

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

A dependently typed programming language, a successor to Idris

A prototype successor to Idris

Breaks the browser language barrier (includes a plugin-free JVM).

A Common Intermediate Language backend for Idris 1

A JVM bytecode assembler written in Haskell.

Yes, really...

A Dependently Typed Functional Programming Language

Slides and exercises for the Idris course taught at Galois

GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2

Haskell to JavaScript compiler, based on GHC

Haskell API search engine

Frege support for sbt

Support for your favorite build tool

Solarized Gnome Terminal colors, based on http://ethanschoonover.com/solarized

The Lux Programming Language

A strongly-typed language that compiles to JavaScript

Functional Programming Course

Compiler for Elm, a functional language for reliable webapps.

A JVM written in Scala