https://github.com/pfnet-research/pml

A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.

model-checking probabilistic-model refinement-type type-system verification

Last synced: 13 Apr 2025

https://github.com/toy-gpt/train-100-unigram

Demonstrates, at very small scale, how a language model is trained (unigram language model).

computer-science-education educational inspectable-models language-model machine-learning-education mkdocs n-gram next-token-prediction probabilistic-model pyright python reproducibility ruff softmax-regression src-layout teaching toy-gpt toy-model unigram-model uv

Last synced: 03 Apr 2026

https://github.com/toy-gpt/train-400-context-3-animals

Training repo for Toy GPT: context-3 model + small structured corpus (001_animals.txt)

computer-science-education educational inspectable-models language-model machine-learning-education mkdocs next-token-prediction probabilistic-model pyright python reproducibility softmax-regression src-layout teaching three-context-model toy-gpt toy-model uv

Last synced: 22 Apr 2026

https://github.com/ilieschibane/intelligent-information-retrieval-system

An intelligent SRI web application using python base on the on CISI collection

boolean-model deep-learning information-retrival machine-learning natural-language-processing probabilistic-model python text-mining vectorial-model web-application

Last synced: 29 Apr 2026

https://github.com/xiaohan2012/active-infection-source-finding

active-learning information-cascade machine-learning network-inference online-learning probabilistic-model steiner-tree

Last synced: 02 Apr 2025

https://github.com/toy-gpt/train-300-context-2

Demonstrates, at very small scale, how a language model is trained (two-context model).

computer-science-education dual-context educational inspectable-models language-model machine-learning-education mkdocs next-token-prediction probabilistic-model pyright python reproducibility softmax-regression src-layout teaching toy-gpt toy-model two-context-model uv

Last synced: 03 Apr 2026

https://github.com/toy-gpt/train-401-context-3-llm-glossary

Training repo for Toy GPT: context-3 model + small domain corpus (010_llm_glossary.txt)

computer-science-education educational inspectable-models language-model machine-learning-education mkdocs next-token-prediction probabilistic-model pyright python reproducibility softmax-regression src-layout teaching three-context-model toy-gpt toy-model uv

Last synced: 22 Apr 2026