xiaopong Goto Github PK

cats

Lightweight, modular, and extensible library for functional programming.

codegeex

CodeGeeX: An Open Multilingual Code Generation Model

disruptor

High Performance Inter-Thread Messaging Library

elixir

Elixir is a dynamic, functional language for building scalable and maintainable applications

emacs-theme-darktooth

Darktooth : From the darkness... it watches.

erlrados

Erlang binding of the librados on Linux

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

idris2

A purely functional programming language with first class types

idris2-lsp

Language Server for Idris2

idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

inigo

Inigo: A Package Manager for Idris2

lru-cache

lsp-haskell

lsp-mode :heart: haskell

my-blog-source

otp

Erlang/OTP

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a toolkit of libraries (Ray AIR) for accelerating ML workloads.

runtime_utils

scala-maven-plugin

The scala-maven-plugin (previously maven-scala-plugin) is used for compiling/testing/running/documenting scala code in maven.

scalaz

Principled Functional Programming in Scala

spark

Apache Spark - A unified analytics engine for large-scale data processing

sqlite

Official Git mirror of the SQLite source tree

stack

The Haskell Tool Stack

tmk_keyboard

keyboard controller firmware for Atmel AVR USB family

v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero dependencies. 1.0 release in December 2019. https://vlang.io

xiaopong.github.io

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

zig-mode-snippets

Emacs snippets for zig-mode.

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

zls

Zig LSP implementation + Zig Language Server