A category and functional programing library for Zig language

Use your Neovim like using Cursor AI IDE!

A MoonBit toolchain multiplexer and version manager

A website for building WebAssembly components

A language binding generator for WebAssembly interface types

LLM verified with Monte Carlo Tree Search

OCaml bindings for Python

Create beautiful diagrams just by typing notation in plain text.

A little and very high level library to perform basic operations on audio files in the OCaml language

RIME ㄓ in Emacs

Part II Cambridge Course: Hoare Logic & Model Checking

LlamaIndex is a data framework for your LLM applications

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

The theme from libadwaita ported to GTK-3

An ecosystem of tools for building production-grade applications in TypeScript.

[COLM 2024] A Survey on Deep Learning for Theorem Proving

official repository of aiXcoder-7B Code Large Language Model

🌒 Neovim plugin management inspired by Cargo, powered by luarocks

Distribute and run LLMs with a single file.

Mechanization of polymorphism in hazelnut.

Effects-based direct-style IO for multicore OCaml

A language server for Bash

朱雀仿宋/朱雀宋朝/Zhuque Fangsong: An open-source Fangsong typeface project

A modern functional programming language with effect system.