Beast code in Giters

Vladislav Shtepin's starred repositories

papers-we-love

Papers from the computer science community to read and discuss.

Language:Shell84548 3108 237

telescope.nvim

Find, Filter, Preview, Pick. All lua, all the time.

Language:LuaMIT14500 51 1695

os01

Bootstrap yourself to write an OS from scratch. A book for self-learner.

Language:TeX11593 403 117

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Language:LuaGPL-3.05976 47 609

lspsaga.nvim

improve neovim lsp experience

Language:LuaMIT3309 15 1018

xray-16

Improved version of the X-Ray Engine, the game engine used in the world-famous S.T.A.L.K.E.R. game series by GSC Game World. Join OpenXRay! ;)

Language:C++NOASSERTION2871 143 677

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellApache-2.02592 52 2140

gnvim

GUI for neovim, without any web bloat

Language:RustMIT1826 22 160

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaCC-BY-4.01332 23 248

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Language:Haskell1051 55 7

polysemy

:gemini: higher-order, no-boilerplate monads

Language:HaskellBSD-3-Clause1026 29 248

LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Language:HaskellApache-2.0977 27 21

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

922 60 4

venn.nvim

Draw ASCII diagrams in Neovim

Language:LuaMIT911 9 26

notes-android

✎ Android client for Nextcloud Notes app.

Language:JavaGPL-3.0906 25 1088

haskell-resources

A List of Foundational Haskell Papers

Language:JavaScriptNOASSERTION861 46 5

dart-code-metrics

Software analytics tool that helps developers analyse and improve software quality.

Language:DartNOASSERTION856 12 390

swarm

Resource gathering + programming game

Language:HaskellNOASSERTION801 15 675

learnuv

Learn uv for fun and profit, a self guided workshop to the library that powers Node.js.

Language:CMIT729 23 22

notes

✎ Distraction-free notes and writing

Language:JavaScriptAGPL-3.0594 24 674

roboden-game

An indirect control real-time strategy game about robot colonies

Language:GoMIT415 4 6

diagnose

A simple library for reporting compiler/interpreter errors

Language:HaskellBSD-3-Clause234 3 14

QCBOR

Comprehensive, powerful, commercial-quality CBOR encoder/ decoder that is still suited for small devices.

Language:CNOASSERTION178 12 63

schoolRISCV

CPU microarchitecture, step by step

Language:MakefileNOASSERTION147 150

rfc

My slides and compilation of resources.

Language:Haskell142 80

rock

Build system

Language:HaskellNOASSERTION114 6 5

awesome-anbernic

Resources for Anbernic consoles (links, CFW...)

CC0-1.075 8 7

types-as-specifications

Language:HaskellBSD-3-Clause47 40

anomaly-modding-book

Introductory book for Stalker Anomaly modding

Language:Markdown28 3 14

stelnet

A collection of intel boards for Starsector.

Language:JavaGPL-3.016 2 61