soulomoon

langchain

🦜🔗 Build context-aware reasoning applications

papers-we-love

Papers from the computer science community to read and discuss.

gpt4all

GPT4All: Chat with Local LLMs on Any Device

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

postgrest

REST API for any Postgres database

WeChatPlugin-MacOS

微信小助手

Qbot

[🔥updating ...] AI 自动量化交易机器人 AI-powered Quantitative Investment Research Platform. 📃 online docs: https://ufund-me.github.io/Qbot ✨ :news: qbot-mini: https://github.com/Charmve/iQuant

melonDS

DS emulator, sorta

haskell-language-server

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

gptcommit

A git prepare-commit-msg hook for authoring commit messages with GPT-3.

awesome-gpt4

A curated list of prompts, tools, and resources regarding the GPT-4 language model.

cabal

Official upstream development repository for Cabal and cabal-install

rats-search

BitTorrent P2P multi-platform search engine for Desktop and Web servers with integrated torrent client.

Zooming-Slow-Mo-CVPR-2020

Fast and Accurate One-Stage Space-Time Video Super-Resolution (accepted in CVPR 2020)

tasty

Modern and extensible testing framework for Haskell

fused-effects

A fast, flexible, fused effect system for Haskell

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

haskell-code-explorer

Web application for exploring and understanding Haskell codebases

hlargs.nvim

Highlight arguments' definitions and usages, using Treesitter

templates

Flake templates

lsp

Haskell library for the Microsoft Language Server Protocol

kind

Temporary repository for Kind2's refactor based on HVM2

monad-control

Lift control operations, like exception catching, through monad transformers

data-category

Library of categories, with categorical constructions on them

hsimport

Extend the import list of a Haskell source file

qline.vim

The quick, fully-customizable status line plugin written in cutting-edge Vim9 script.

regex

regex: A Regular Expression Toolkit for regex-base

deadpendency

mlf

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

skelly