Kacarott

Kacarott's Stars

• codewars/factor

  Container image for Factor

  Language:Dockerfile11

• iblech/agdapad

  Agda as a collaborative multiplayer game

  Language:JavaScript304

• code-golf/code-golf

  A game designed to let you show off your code-fu by solving problems in the least number of characters.

  Language:Go1.1k102

• pyrotek45/Novacore

  programming language

  Language:Rust6

• grain-lang/grain

  The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

  Language:Reason3.2k114

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k395

• aardappel/lobster

  The Lobster Programming Language

  Language:C++2.2k119

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml85841

• eashanhatti/peridot

  A fast functional language based on two level type theory

  Language:Haskell3884

• vekatze/neut

  A dependently-typed programming language with static memory management

  Language:Haskell83910

• egel-lang/egel

  The Egel Programming Language

  Language:C++804

• KeliLanguage/compiler

  The compiler for Keli

  Language:Haskell1711

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k140

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.2k159

• codewars/codemirror-lambda-calculus

  Lambda Calculus mode for CodeMirror

  Language:HTML12

• sharkdp/cube-composer

  A puzzle game inspired by functional programming

  Language:PureScript2k84

• codewars/lambda-calculus

  Lambda Calculus compiler for Codewars

  Language:JavaScript164

• codewars/discord-bot

  Codewars Discord Bot

  Language:TypeScript2111