vishallama

agda-vim

Agda interaction in vim

yi

The Haskell-Scriptable Editor

vscode-oz

Bring the magic of Oz to vscode

rclone

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

ecta

ecta-plugin

A hole-fit plugin using ECTAs

stylish-haskell-vscode

stylish-haskell support for VS code

hdx4vsc

Haskell Debugger Extension for Visual Studio Code.

qlot

A project-local library installer for Common Lisp

postgrest

REST API for any Postgres database

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

bsc

Bluespec Compiler (BSC)

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

hackage-server

Hackage-Server: A Haskell Package Repository

cabal

Official upstream development repository for Cabal and cabal-install

awesome-racket

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

qi

An embeddable flow-oriented language.

racket-gui-easy

Declarative GUIs in Racket.

metapict

A graphics library for producing Racket picts in a MetaPost/TikZ style.

cover

a code coverage tool for racket

urlang

Urlang is JavaScript with a sane syntax

gregor

Date and time library for Racket

threading

Threading macros for Racket

conjure

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)

pymde

Minimum-distortion embedding with PyTorch

cvxpy

A Python-embedded modeling language for convex optimization problems.

public-student-support-code

Public helper code for p423/p523 students (Racket)

drcomplete

DrRacket plugins for better autocompletion

realm

Essentials-of-Compilation

A book about compiling Racket and Python to x86-64 assembly