jfmc

jfmc's Stars

• awesome-selfhosted/awesome-selfhosted

  A list of Free Software network services and web applications which can be hosted on your own servers

  209k2.7k8039.9k

• karpathy/llama2.c

  Inference Llama 2 in one file of pure C

  Language:C17.6k1902242.1k

• official-stockfish/Stockfish

  A free and strong UCI chess engine

  Language:C++11.9k2549632.3k

• IdreesInc/Monocraft

  A monospaced programming font inspired by the Minecraft typeface

  Language:Python8.5k2591122

• lucidrains/imagen-pytorch

  Implementation of Imagen, Google's Text-to-Image Neural Network, in Pytorch

  Language:Python8.1k116300774

• carson-katri/dream-textures

  Stable Diffusion built-in to Blender

  Language:Python7.9k112547428

• DataDog/go-profiler-notes

  felixge's notes on the various go profiling methods that are available.

  Language:Jupyter Notebook3.6k1022209

• farbrausch/fr_public

  Farbrausch demo tools 2001-2011

  Language:C++3.4k18247346

• emscripten-core/emsdk

  Emscripten SDK

  Language:Python3.1k78678703

• microsoft/pxt

  Microsoft MakeCode (PXT - Programming eXperience Toolkit)

  Language:TypeScript2.1k962.6k585

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63286231

• ridiculousfish/libdivide

  Official git repository for libdivide: optimized integer division

  Language:C++1.1k404579

• WebAssembly/gc

  Branch of the spec repo scoped to discussion of GC integration in WebAssembly

  Language:WebAssembly1k9634173

• minad/osm

  :earth_africa: osm.el - OpenStreetMap viewer for Emacs

  Language:Emacs Lisp524133714

• serhii-rieznik/etx-tracer

  Physically-based CPU and GPU ray-tracer

  Language:C++35916811

• mmontag/chip-player-js

  Web-based music player for a variety of video game and chiptune music formats.

  Language:C354511619

• zwegner/x86-sat

  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

  Language:Python3166314

• ciao-lang/ciao

  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

  Language:Prolog281219022

• goblint/analyzer

  Static analysis framework for C

  Language:OCaml1851964676

• eth-sri/ELINA

  ELINA: ETH LIbrary for Numerical Analysis

  Language:C++128146454

• blanchette/logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Language:Lean932320

• MizarProject/system

  Language:Pascal36628

• oldcompcz/micro-PROLOG

  Disassembled code of SPECTRUM micro-PROLOG T1.0

  Language:Assembly34722

• domoritz/clingo-wasm

  Clingo on the web

  Language:TypeScript335192

• arminbiere/runlim

  Language:C15255

• nfzhou/lp-contest

  Language:Classic ASP10203

• alviano/asp-chef

  Language:Svelte6201

• ejgallego/real-world-coq

  Language:Ruby6600

• lpcp-contest/lpcp-contest-2022

  Language:Roff411

• banbara/teaspoon

  This package includes ASP encodings of the Curriculum-Based Course Timetabling (CB-CTT) Problem.

  Language:C++110