asoltysik

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

cats-selective

scala-steward

:robot: A bot that helps you keep your projects up-to-date

cheat.sh

the only cheat sheet you need

haskell-language-server

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

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

dear-github-2.0

📨 An open letter to GitHub from the maintainers of open source projects

elm-ui-cookbook

regolith-desktop

Meta package for the Regolith Desktop Environment

debezium

Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.

sbt-missinglink

An sbt plugin for missinglink

elm-ui-dropdown

Dropdown module for Elm UI

nushell

A new type of shell

elm-live

⚡ A flexible dev server for Elm. Live reload included.

intellij-elm

Elm plugin for IntelliJ Platform IDEs

feather

Simply beautiful open-source icons

elm-feather

Feather icons for elm

elm-fontawesome

FontAwesome for Elm.

widdershins

OpenAPI / Swagger, AsyncAPI & Semoasa definitions to (re)Slate compatible markdown

moby

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

code-server

VS Code in the browser

Arend

The Arend Proof Assistant

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

elm-language-server

Language server implementation for Elm

stryker4s

Mutation testing for Scala

tapir

Rapid development of self-documenting APIs

elm-language-client-vscode

Improving your Elm experience since 2019

elm-jwt

Parse and verify JWT in Elm

DistributedBankSystem

LaTeX-Workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.