kesanov Goto Github PK

absal-rs

abstract-algorithm

Optimal evaluator of λ-calculus terms.

acm

Some algorithms from site http://www.spoj.com/ implemented in Haskell

core

Elm's core libraries

delauncherform

elm-compiler

Compiler for Elm, a functional language for reliable webapps.

elm-eureka

Elm eureka is a rust library for parsing elm projects and elm code.

elm-on-absal

An Elm to Abstract Algorithm compiler.

formality

An efficient programming language and proof assistant.

generalsgamepatch

Generals Game Patch to fix most bugs and balancing issues in Zero Hour 1.04

generalslauncherrust

Proof of concept of Generals Launcher in Rust.

genlauncherfiles

Config files for GenLauncher.

ghc

Fork of official GHC repository.

h5-frax

halite

@twosigma's artificial intelligence programming challenge

idris-dev

A Dependently Typed Functional Programming Language

iris

orthogonal visualization for dynamic graphs

irvis

IR visualisation tool

korge-next

Mono-repo with all korlibs to shape KorGE 2.0 without having to wait hours for CI :)

language-haskell

Highlighting support for the Haskell language in visual studio code.

luna

Hybrid textual and visual functional programming.

mmh55

mod development branch

moon-lang

Minimal code-interchange format

panicstatioin

Gymnasium leaving project. Online board game for 4-6 players.

sbt-elastic-beanstalk

SBT AutoPlugin to publish Docker applications to Elastic Beanstalk

sixtyfps

SixtyFPS is a toolkit to efficiently develop fluid graphical user interfaces for any display: embedded devices and desktop applications. We support multiple programming languages, such as Rust, C++ or JavaScript.

vscode-elm

Elm Language Support for Visual Studio Code