chaitin_lisp

(★ 18)

Runnable code from Chaitin's "The Limits of Mathematics (in C)"

chaitin_lisp 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

CS-Notes ★ 185,343

:books: 기술 면접 필수 기초 지식, Leetcode, 컴퓨터 운영체제, 컴퓨터 네트워크, 시스템 디자인
hackingtool ★ 78,992

해커를 위한 올인원 해킹 툴

Python
deer-flow ★ 80,097

조사, 코딩, 창작을 수행하는 오픈소스 장기(long-horizon) SuperAgent 하네스입니다. 샌드박스, 메모리, 도구, 스킬, 서브에이전트, 메시지 게

Python
ollama ★ 178,706

Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma 및 기타 모델들을 바로 시작해 보세요.

Go
pi ★ 91,423

AI 에이전트 툴킷: 통합 LLM API, 에이전트 루프, TUI, 코딩 에이전트 CLI

TypeScript
transformers ★ 164,163

🤗 Transformers: 텍스트, 비전, 오디오, 멀티모달 분야의 최첨단(state-of-the-art) 머신러닝 모델을 추론(inference)과 학습(tr

Python
// repository documentation