JDemler

Jakob Demler's starred repositories

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.010301 95 174

magit

It's Magit! A Git Porcelain inside Emacs.

Language:Emacs LispGPL-3.06442 151 2995

ledger

Double-entry accounting system with a command-line reporting interface

Language:C++NOASSERTION5223 111 1588

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION3416 120 2336

twgl.js

A Tiny WebGL helper Library

Language:JavaScriptMIT2615 60 151

ort

A suite of tools to automate software compliance checks.

Language:KotlinApache-2.01532 41 1248

rust-peg

Parsing Expression Grammar (PEG) parser generator for Rust

Language:RustMIT1425 20 219

elm-ui

What if you never had to write CSS again?

Language:ElmBSD-3-Clause1336 30 266

snowball

Snowball compiler and stemming algorithms

Language:CBSD-3-Clause733 35 81

autocomplete

Autocomplete - an adult and kid friendly exercise in creating a predictive program

Language:Python449 23 8

go-sumtype

A simple utility for running exhaustiveness checks on Go "sum types."

Language:GoUnlicense416 6 11

agda-categories

A new Categories library for Agda

Language:AgdaMIT359 24 151

ledger-analytics

Easy to use analytics/visualization tool for ledger-cli

Language:JavaScriptMIT294 12 8

geojson

Library for serializing the GeoJSON vector GIS file format

Language:RustApache-2.0264 18 84

kind

Temporary repository for Kind2's refactor based on HVM2

Language:RustMIT240 110

elm-hnpwa

Elm implementation of the Hackernews PWA

Language:ElmBSD-3-Clause150 8 2

dnd-list

Drag and Drop for sortable lists in Elm web apps with mouse support

Language:ElmBSD-3-Clause99 7 11

material-components-web-elm

Material Components for Elm

Language:ElmMIT92 13 140

date

An Elm package for working with dates without times or zones

Language:ElmBSD-3-Clause72 2 26

aqbanking

AqBanking Mirror (https://git.aquamaniac.de/git/aqbanking)

Language:CNOASSERTION63 110

elm-date-extra

Extra functions for working with Date

Language:Elm41 3 10

elm-datepicker

A reusable date picker component in Elm 0.19.

Language:ElmBSD-3-Clause34 3 21

elm-spa-boilerplate

Boilerplate to create Single Page Applications in Elm

Language:ElmBSD-3-Clause34 70

elm-offline

Offline Elm development!

Language:HaskellBSD-3-Clause27 3 2

link-simulator

A tool for simulating an arbitrary connection between two network endpoints

Language:RustMIT19 60

elm-colorpicker

Elm library to implement a color picker tool

Language:ElmMIT19 4 7

practical-type-inference

Implementation of "practical type inference for arbitrary-rank types" in Javascript

Language:JavaScript9 30

elm-shared-state-example

Example of using shared state as means to break up code

Language:Elm9 2 1

elm-compiler-test

Test elm install of all packages

Language:JavaScript300

elm-enums

Command line tool to auto-generate custom types for Elm with accompanying JSON encoders/decoders from a file of enum definitions.

Language:ElmBSD-3-Clause3 20