ptrojahn

ptrojahn's Stars

• karpathy/llama2.c

  Inference Llama 2 in one file of pure C

  Language:C17.2k2k

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM28k11.6k

• nengo/nengo

  A Python library for creating and simulating large-scale brain models

  Language:Python817175

• potassco/clasp

  ⚙️ A conflict-driven nogood learning answer set solver

  Language:C++11716

• pytorch/pytorch

  Tensors and Dynamic neural networks in Python with strong GPU acceleration

  Language:Python82.2k22.1k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k639

• opennars/OpenNARS-for-Applications

  General reasoning component for applications based on NARS theory.

  Language:C8939

• openworm/OpenWorm

  Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues

  Language:Python2.7k205

• SWI-Prolog/swipl

  SWI-Prolog stable releases

  Language:C21538

• torvalds/linux

  Linux kernel source tree

  Language:C179k53.2k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust96.8k12.5k

• LibreOffice/core

  Read-only LibreOffice core repo - no pull request (use gerrit instead https://gerrit.libreoffice.org/) - don't download zip, use https://dev-www.libreoffice.org/bundles/ instead

  Language:C++2.7k621

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++89k20.2k