BjoernLoetters

BjoernLoetters's Stars

• kontheocharis/superfluid

  A functional language with dependent types and customisable type representations

  Language:Haskell4

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k364

• math-comp/math-comp

  Mathematical Components

  Language:Coq596117

• ollef/sixty

  Dependent type checker using normalisation by evaluation

  Language:Haskell2567

• hash-org/hashc

  The Hash programming language compiler :zap:

  Language:Rust262

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell62136

• Niklas-Deworetzki/java-stg

  An implementation of the Spineless Tagless G-Machine, implemented for educational purposes.

  Language:Java2

• Niklas-Deworetzki/reversible-stackmachine

  Virtual machine implementation of a low-level reversible stack machine optimised for performance.

  Language:C++3

• bowl-project/bowl

  Language:C2

• CSchoel/exercise-heap

  Exercise collection for programming exercises by myself, my tutors, colleagues, and friends

  Language:Java51

• PebbleTemplates/pebble

  Java Template Engine

  Language:Java1.1k168

• bowl-project/bowl-io

  Language:C1

• bowl-project/bowl-kernel

  Language:C1

• bowl-project/bowl-api

  Language:C1

• BjoernLoetters/lambda-m

  A lazy and untyped experimental programming language

  Language:Haskell102

• CSchoel/ad-dummies-java

  Java reference implementations for "Algorithms and data structures for dummies"

  Language:Java2

• vurtun/nuklear

  A single-header ANSI C gui library

  Language:C13.7k1.1k

• BjoernLoetters/noocleus-one

  A minimal functional programming language with type inference, algebraic data types and pattern matching

  Language:Scala4

• denkspuren/consize

  Consize is a concatenative programming language

  Language:Clojure347

• djspiewak/gll-combinators

  A parser combinator library based on the GLL algorithm

  Language:Scala30329

• rahulmutt/codec-jvm

  JVM code generation

  Language:Haskell329

• CSchoel/nolds

  Nonlinear measures for dynamical systems (based on one-dimensional time series)

  Language:Python26759

• lichess-org/lila

  ♞ lichess.org: the forever free, adless and open source chess server ♞

  Language:Scala15.9k2.3k

• Parrows/Parrows

  Using Arrows to model parallel processes/computations.

  Language:TeX182

• impress/impress.js

  It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

  Language:JavaScript37.7k6.7k

• tsoding/wassm

  Web framework for x86_64 nasm

  Language:Assembly16816

• railsware/upterm

  A terminal emulator for the 21st century.

  Language:TypeScript19.2k617

• typelevel/paiges

  an implementation of Wadler's a prettier printer

  Language:Scala18730

• HuwCampbell/grenade

  Deep Learning in Haskell

  Language:Haskell1.5k83

• MagicMirrorOrg/MagicMirror

  MagicMirror² is an open source modular smart mirror platform. With a growing list of installable modules, the MagicMirror² allows you to convert your hallway or bathroom mirror into your personal assistant.

  Language:JavaScript20k4.2k