dandoh

web-haskell-graphql-postgres-boilerplate

Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more

intellj-keymap

My custom IntelliJ IDEA Community Keymap

NeatExpression

symbolic-agda

CAS701

favorite-actions

Favorite Actions plugin for Jetbrains IDEs, written in Kotlin

ParsingIllustrator

UI tool illustrates some parsing algorithms of the Language Theory and Interpretation course

posse

Toolbox for developing, debugging and evaluating routing algorithms in the presence of holes in wireless sensor networks

6EO3

agda-mode

Accessing Agda's interaction mode via command line.

BoolCheck

Check if a boolean formula is valid or satisfiable

CS750

dandoh

dandoh.github.io

dbcleaner

Clean database for testing, inspired by database_cleaner for Ruby

dbt-test

dumby-jumper

elm-3d-camp

gen

HashedExpression

ideaforces

Codeforces plugin for Jetbrains IDEs

in-60-seconds

GitPitch In 60 Seconds - A Very Short Tutorial

intellij-dtlc

IntelliJ plugin for several experimental programming languages here

liblbfgs

libLBFGS: a library of Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS)

lookml_dev

morpheus-graphql

Haskell GraphQL Api, Client and Tools

pandoc

Universal markup converter

postcss-elm-tailwind

put some tailwind in your elm

tailwind-generator

Tailwind to * and css code generator

TeXiFy-IDEA

LaTeX support for the IntelliJ platform by JetBrains.