Carvin's starred repositories
FunctionalDesign
The source code for the examples in Functional Design
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
explain.dalibo.com
PEV2 Flask service. Visualizing and understanding PostgreSQL EXPLAIN plans made easy.
mattermost
Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..
ThinkStats2
Text and supporting code for Think Stats, 2nd Edition
empiricaldist
Python library that represents empirical distribution functions.
checker-framework
Pluggable type-checking for Java
tigerbeetle
The financial transactions database designed for mission critical safety and performance.
functional-programming-jargon
Jargon from the functional programming world in simple terms!
Orion
Orion-14B is a family of models includes a 14B foundation LLM, and a series of models: a chat model, a long context model, a quantized model, a RAG fine-tuned model, and an Agent fine-tuned model. Orion-14B 系列模型包括一个具有140亿参数的多语言基座大模型以及一系列相关的衍生模型,包括对话模型,长文本模型,量化模型,RAG微调模型,Agent微调模型等。