soulomoon

gitea

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

openwrt

This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git.

WeChatPlugin-MacOS

微信小助手

Kind1

A modern proof language

haskell-language-server

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

cabal

Official upstream development repository for Cabal and cabal-install

hasktorch

Tensors and neural networks in Haskell

Glean

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

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

haskell-code-explorer

Web application for exploring and understanding Haskell codebases

hlargs.nvim

Highlight arguments' definitions and usages, using Treesitter

lsp

Haskell library for the Microsoft Language Server Protocol

NeoHaskell

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

ghc.nix

Nix (shell) expression for working on GHC

crem

Compositional Representable Executable Machines

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

haskellcn

home page

filepath

Haskell FilePath core library

hs-opentelemetry

OpenTelemetry support for the Haskell programming language

data-category

Library of categories, with categorical constructions on them

hsimport

Extend the import list of a Haskell source file

placeholder

todo and unimplemented, robustly implemented

ghc-tcplugin-api

An interface for GHC type-checking plugins

ghc-datasize

ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory

typed-fsm

typed finite-state machine

cabal-build-info

haskell-search-extension

A browser extension to search Haskell knowledge.

mlf

Some simple MLF tools to improve my understanding of the MLF type system

skelly