-
Γcole Polytechnique
- Paris, France
- potoshin.com
- @GPotoshin
Highlights
- Pro
Starred repositories
Master programming by recreating your favorite technologies from scratch.
Dev repo for @zig-gamedev libs and sample applications
Objective-C runtime bindings for Zig (Zig calling ObjC).
Windows development SDK for Zig game developers.
Debug Adapter Protocol client implementation for Neovim
Owl - OCaml Scientific Computing @ https://ocaml.xyz
A native, user-mode, multi-process, graphical debugger.
zig-sqlite is a small wrapper around sqlite's C API, making it easier to use with Zig.
π A website for finding examples in algebraic geometry
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmenβ¦
An OCaml library for HTTP clients and servers using Lwt or Async
Advanced topics to take advantage of zsh π©βπ»π¨βπ»
A language server for Zig supporting developers with features like autocomplete and goto definition
K Junior is an MIT licensed open source array language written by Arthur Whitney.
Various signed and unsigned integer types for OCaml
Libav github mirror, clone of git://git.libav.org/libav
FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: πΊπΈ π¨π³ π°π· πͺπΈ π»π³ π§π·
A shallow wrapper around SDL that provides object API and error handling
WIP. Goals: Treesitter highlighting, snippets, and a smooth intergration with neovim.
The imagelib library implements image formats such as PNG or PPM