CziSKY

kirraObj's starred repositories

Ventoy

A new bootable USB solution.

Language:CGPL-3.06072500

outlines

Structured Text Generation

Language:PythonApache-2.0739600

flux

Refinement Types for Rust

Language:RustMIT58500

Pake

🤱🏻 Turn any webpage into a desktop app with Rust. 🤱🏻 利用 Rust 轻松构建轻量级多端桌面应用

Language:RustMIT2495400

LangChain-Chinese-Getting-Started-Guide

LangChain 的中文入门教程

716600

dhall-haskell

Maintainable configuration files

Language:DhallBSD-3-Clause91000

TigerBot

TigerBot: A multi-language multi-task LLM

Language:PythonApache-2.0222500

Mini-TT

Documented version of a simple type-theoretic language: Mini-TT

Language:Haskell1800

ntype-cafe-summer-school

ntype cafe summer school resources

Language:HTML12600

Mini-TT

mirror of A simple type-theoretic language: Mini-TT

Language:Haskell3800

pl-docs

Programming Language Documentations

51300

paguroidea

A reimplementation of the Flap parser in Rust (with our own modifications applied)!

Language:RustApache-2.05300

ControlNet

Let us control diffusion models!

Language:PythonApache-2.02923400

Luotuo-Silk-Magic-Book

The Silk Magic Book will record the Magic Prompts on some very Large LLMs. The Silk Magic Book belongs to the project Luotuo(骆驼), which created by 李鲁鲁, 冷子昂, 陈启源

Language:Jupyter NotebookApache-2.05500

Chinese-Vicuna

Chinese-Vicuna: A Chinese Instruction-following LLaMA-based Model —— 一个中文低资源的llama+lora方案，结构参考alpaca

Language:CApache-2.0413900

ChezScheme

Chez Scheme

Language:SchemeApache-2.0692000

SPLV20

SPLV20 course notes

Language:Idris10600

prompt-engineering

Tips and tricks for working with Large Language Models like OpenAI's GPT-4.

MIT822200

TinySCM

🔨TinySCM是一个Python实现的迷你Scheme解释器，主要参考了巫师书（the Wizard Book）《SICP》和UC Berkeley的同名课程CS 61A。支持词法（lexical）/动态（dynamic）作用域、宏（macro）、流/惰性求值、尾递归。

Language:PythonMIT400

langchain-tutorials

Overview and tutorial of the LangChain Library

Language:Jupyter Notebook654800

pdm

A modern Python package and dependency manager supporting the latest PEP standards

Language:PythonMIT762800

langchain

🦜🔗 Build context-aware reasoning applications

Language:Jupyter NotebookMIT8992600

coroutines

A pure Java implementation of cooperative concurrency, aka coroutines

Language:JavaApache-2.030900

pseudocode.js

Beautiful pseudocode for the Web

Language:JavaScriptMIT21500

smalftt

🍰 (WIP) a small logical framework based on dependent type theory

Language:KotlinMIT300

rowscript

RowScript programming language, making a better browser world

Language:RustMIT9600

d2l-zh

《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。

Language:PythonApache-2.05985600

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustNOASSERTION1634900

ksp

Kotlin Symbol Processing API

Language:KotlinApache-2.0275000

nature

🍀 The Nature Programming Language, may you be able to experience the joy of programming.

Language:CMIT73800