Pinned Repositories
bevy
A refreshingly simple data-driven game engine built in Rust
doomemacs
An Emacs framework for the stubborn martian hacker
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
meow
Yet another modal editing on Emacs / 猫态编辑
v8
Port of Google v8 engine to RISC-V.
algorithms
Algorithms in rust
awesome-blog-sites
Awesome Blog Sites
config
My Linux config
learn
Codes I wrote to learn something.
VitalyAnkh's Repositories
VitalyAnkh/nix-config
:space_invader: NixOS configuration
VitalyAnkh/riscv-isa-sim
Spike, a RISC-V ISA Simulator
VitalyAnkh/rust
Empowering everyone to build reliable and efficient software.
VitalyAnkh/rust-analyzer
A Rust compiler front-end for IDEs
VitalyAnkh/agda
Agda is a dependently typed programming language / interactive theorem prover.
VitalyAnkh/bevy-community
A listing of Bevy community members which is displayed on the Bevy website
VitalyAnkh/byteir
ByteIR
VitalyAnkh/candle
Minimalist ML framework for Rust
VitalyAnkh/doomemacs
An Emacs framework for the stubborn martian hacker
VitalyAnkh/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
VitalyAnkh/emacs-pgtk-git
VitalyAnkh/godot
Godot Engine – Multi-platform 2D and 3D game engine
VitalyAnkh/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
VitalyAnkh/iree
👻
VitalyAnkh/lean4
Lean 4 programming language and theorem prover
VitalyAnkh/llvm
Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.
VitalyAnkh/lsp-bridge
Fastest LSP client for Emacs
VitalyAnkh/lsp-metals
lsp-mode :heart: metals
VitalyAnkh/ml-compiler-opt
Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.
VitalyAnkh/mold
mold: A Modern Linker
VitalyAnkh/naga_oil
VitalyAnkh/oneMKL
oneAPI Math Kernel Library (oneMKL) Interfaces
VitalyAnkh/rix
And I say hey, what's going on?
VitalyAnkh/rustc_codegen_cranelift
Cranelift based backend for rustc
VitalyAnkh/verilator
Verilator open-source SystemVerilog simulator and lint system
VitalyAnkh/vk_raytracing_tutorial_KHR
Ray tracing examples and tutorials using VK_KHR_ray_tracing
VitalyAnkh/vscode
Visual Studio Code
VitalyAnkh/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
VitalyAnkh/winit
Window handling library in pure Rust
VitalyAnkh/zotero-file
Zotero 7 Meet ZotFile: Zotero plugin to manage your attachments: automatically rename, move, and attach PDFs (or other files) to Zotero items.