funrep

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

ish

Linux shell for iOS

TabNine

AI Code Completions

HVM

A massively parallel, optimal functional runtime in Rust

semantic

Parsing, analyzing, and comparing source code across many languages

effect

An ecosystem of tools to build robust applications in TypeScript

blink

Blink Mobile Shell for iOS (Mosh based)

unison

A friendly programming language from the future

openapi-typescript

Generate TypeScript types from OpenAPI 3 specs

haskell-language-server

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

neuron

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

Glean

System for collecting, deriving and working with facts about source code.

gumtree

An awesome code differencing tool

emanote

Emanate a structured view of your plain-text notes

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

stan

🕵️ Haskell STatic ANalyser

learntla-v2

Learn TLA+ for free! No prior experience necessary!

weeder

A re-implementation of weeder using HIE files

hakyll-cssgarden

gallery of themes for hakyll static site generator

refinery

⛏️ A refinement proof framework for haskell

cadenza

every day i'm truffling

thesis

MSc thesis on: Classifying brain activity using EEG and automated time tracking of computer use (using ActivityWatch)

tactic-haskell

Tactic Metaprogramming in Haskell

hashcode-template

metadl

MetaDL: Datalog analyzing Datalog, Java or any language of your choice

aeson-deriving

Data types for compositional, type-directed serialization

stc-lang

Implicit monadic dataflow parallelism

kombo

Are you tired of complex regex? Do you want good error messages? Use kombo!