VitalyAnkh

Learning mathematics.

Mars

Pinned Repositories

bevy
A refreshingly simple data-driven game engine built in Rust
Language:Rust33.1k 290 4.8k3.2k
doomemacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp18.7k 238 4.4k3k
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:C++26.4k 597 71.4k10.8k
meow
Yet another modal editing on Emacs / 猫态编辑
Language:Emacs Lisp1.1k 24 247128
v8
Port of Google v8 engine to RISC-V.
Language:C++237 15 33832
algorithms
Algorithms in rust
Language:Rust1 1 01
awesome-blog-sites
Awesome Blog Sites
1 1 01
config
My Linux config
Language:Emacs Lisp9 1 12
learn
Codes I wrote to learn something.
Language:Jupyter Notebook3 2 10

VitalyAnkh's Repositories

VitalyAnkh/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
1 1 01
VitalyAnkh/rust
Empowering everyone to build reliable and efficient software.
Language:Rust1 1 02
VitalyAnkh/rust-analyzer
A Rust compiler front-end for IDEs
Language:Rust1 1 0
VitalyAnkh/aya-dev
~ Youkai (∞, 1)-Mountain
Language:Java0 0
VitalyAnkh/aya-prover-docs
The documentation site of the Aya prover.
Language:TypeScript0 0
VitalyAnkh/bevy
A refreshingly simple data-driven game engine built in Rust
Language:Rust1 0
VitalyAnkh/byteir
ByteIR
Language:MLIR0 0
VitalyAnkh/candle
Minimalist ML framework for Rust
Language:Rust0 0
VitalyAnkh/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Language:Rust0 0
VitalyAnkh/glutin
A low-level library for OpenGL context creation, written in pure Rust.
Language:Rust1 0
VitalyAnkh/godot
Godot Engine – Multi-platform 2D and 3D game engine
Language:C++1 0
VitalyAnkh/godot-docs
Godot Engine official documentation
Language:reStructuredText
VitalyAnkh/harfbuzz
HarfBuzz text shaping engine
Language:C++0 0
VitalyAnkh/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Language:Haskell1 0
VitalyAnkh/iree
👻
Language:C++1 0
VitalyAnkh/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0
VitalyAnkh/linux
Linux kernel source tree
Language:C1 06
VitalyAnkh/llvm
Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.
1 0
VitalyAnkh/oneMKL
oneAPI Math Kernel Library (oneMKL) Interfaces
Language:C++1 0
VitalyAnkh/rune
Rust VM for Emacs
Language:Emacs Lisp1 0
VitalyAnkh/rustc_codegen_cranelift
Cranelift based backend for rustc
Language:Rust1 0
VitalyAnkh/triton
Development repository for the Triton language and compiler
Language:C++
VitalyAnkh/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Language:Python
VitalyAnkh/typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust0 0
VitalyAnkh/verilator
Verilator open-source SystemVerilog simulator and lint system
Language:C++0 0
VitalyAnkh/vscode
Visual Studio Code
Language:TypeScript2 0
VitalyAnkh/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Language:Rust1 0
VitalyAnkh/WebKit
Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.
1 0
VitalyAnkh/winit
Window handling library in pure Rust
Language:Rust1 0
VitalyAnkh/xla
A machine learning compiler for GPUs, CPUs, and ML accelerators
Language:C++