Giters
Sven Keidel (svenkeidel)

svenkeidel

Geek Repo

24

followers

15

following

104

stars

Company:TU Darmstadt

Location:Mainz-Kastel, Germany

Home Page:https://svenkeidel.de

Github PK Tool:Github PK Tool

Organizations
monto-editor
stg-tud

Sven Keidel's starred repositories

plover

Open source stenotype engine

Language:PythonLicense:GPL-2.0Stargazers:2267Issues:0Issues:0

opal

Language:ScalaLicense:NOASSERTIONStargazers:43Issues:0Issues:0

jazzer

Coverage-guided, in-process fuzzing for the JVM

Language:JavaLicense:Apache-2.0Stargazers:967Issues:0Issues:0

spoofax

Spoofax runtime

Language:JavaLicense:Apache-2.0Stargazers:123Issues:0Issues:0

tree-automata

Regular tree automata library by Michael D. Adams

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

haskell-src-exts-observe

Orphan Observable instances for haskell-src-exts datatypes

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:351Issues:0Issues:0

BrogueCE

Brogue: Community Edition - a community-lead fork of the much-loved minimalist roguelike game

Language:CLicense:AGPL-3.0Stargazers:924Issues:0Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:2592Issues:0Issues:0

unordered-containers

Efficient hashing-based container types

Language:HaskellLicense:BSD-3-ClauseStargazers:222Issues:0Issues:0

dblpbibtex

DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads

Language:C++License:BSL-1.0Stargazers:17Issues:0Issues:0

splint

:newspaper_roll: HLint as a GHC source plugin.

Language:HaskellLicense:ISCStargazers:31Issues:0Issues:0

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

Language:HaskellLicense:BSD-3-ClauseStargazers:2384Issues:0Issues:0

all-hies

Cached Haskell IDE Engine Nix builds for all GHC versions

Language:NixLicense:GPL-3.0Stargazers:194Issues:0Issues:0

husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.

Language:HaskellLicense:MITStargazers:306Issues:0Issues:0

sturdy

Sturdy is a library for developing sound static analyses in Haskell.

Language:PascalLicense:BSD-3-ClauseStargazers:58Issues:0Issues:0

dump-core

Language:HaskellLicense:ISCStargazers:45Issues:0Issues:0

tapl-scala

Code from the book "Types and Programming Languages" in Scala

Language:ScalaStargazers:174Issues:0Issues:0

sai

Staged Abstract Interpreters

Language:ScalaStargazers:63Issues:0Issues:0

CDDA-Game-Launcher

A Cataclysm: Dark Days Ahead launcher with additional features

Language:PythonLicense:MITStargazers:423Issues:0Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:675Issues:0Issues:0

Rack

The virtual Eurorack studio

Language:C++License:NOASSERTIONStargazers:3989Issues:0Issues:0

jack2

jack2 codebase

Language:C++License:GPL-2.0Stargazers:2147Issues:0Issues:0

musnix

Real-time audio in NixOS

Language:NixLicense:BSD-3-ClauseStargazers:466Issues:0Issues:0

Cataclysm-DDA-Voxel

Cataclysm - Dark Days Ahead: Voxel client

Language:C++License:NOASSERTIONStargazers:8Issues:0Issues:0

mezzo

A Haskell library for typesafe music composition

Language:HaskellLicense:MITStargazers:351Issues:0Issues:0

scala-cheat-sheet

Scala Cheat Sheet

Language:TeXStargazers:15Issues:0Issues:0

hal-flash

A libhal stub library forwarding to UDisks specifically to satisfy the libflashplayer.so / libadobecp requirements

Language:ShellLicense:NOASSERTIONStargazers:56Issues:0Issues:0

ghc

Fork of official GHC repository.

Language:HaskellLicense:NOASSERTIONStargazers:45Issues:0Issues:0

stratego-repl

Language:JavaStargazers:1Issues:0Issues:0