reo101

followers

following

stars

@Limechain

Sofia, Bulgaria

Pavel Atanasov's starred repositories

rerefined

Refinement types in Haskell, again

Language:HaskellMIT300

symparsec

Type level string parser combinators

Language:HaskellMIT800

nrepl

A Clojure network REPL that provides a server and client, along with some common APIs of use to IDEs and other tools that may need to evaluate Clojure code in remote environments.

Language:Clojure73700

GuilelessBopomofo

Guileless Bopomofo（樸實注音鍵盤）- A Bopomofo（注音符號）software keyboard (aka input method editor) on Android, which is utilizing libchewing for intelligent phonetic processing.

Language:KotlinNOASSERTION8300

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Language:RustNOASSERTION177500

chaos-ray-tracing-course-assignment-DanielHalachev

Source repository for the home work task of the members of the Chaos Ray Tracing course

200

erlang-language-platform

Erlang Language Platform. LSP server and CLI.

Language:RustApache-2.018200

shadplay

Real-time wgsl visualisation tooling for educating oneself in the art of shader programming

Language:WGSLMIT25300

devshell

Per project developer environments

Language:NixMIT112700

nix-update

Swiss-knife for updating nix packages.

Language:PythonMIT40400

shell-completions

Shell completions for the Zig compiler.

Language:ShellMIT4700

templates

Flake templates

Language:NixMIT37900

custom-wsl2-linux-kernel

Easily Build Your Own Custom WSL2 Linux Kernels

Language:ShellGPL-3.01200

komorebi

A tiling window manager for Windows 🍉

Language:RustNOASSERTION713700

gamevault-backend

Backend for the self-hosted gaming platform for drm-free games

Language:TypeScriptNOASSERTION14300

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.0997200

libretto

Declarative concurrency and stream processing library for Scala

Language:ScalaMPL-2.019200

cando

Cando chemistry language

Language:C++15600

fraidycat

Follow blogs, wikis, YouTube channels, as well as accounts on Twitter, Instagram, etc. from a single page.

Language:JavaScriptNOASSERTION173600

WebGL-Fluid-Simulation

Play with fluids in your browser (works even on mobile)

Language:JavaScriptMIT1433900

Amber

💎 Amber the programming language compiled to bash

Language:RustGPL-3.0282100

kaitai_struct_visualizer

Kaitai Struct: visualizer and hex viewer tool

Language:RubyGPL-3.027200

tree-sitter-hy

Tree-sitter grammar for Hy, a Lisp-ification of Python.

Language:C700

nix-vscode-extensions

Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]

Language:HaskellMIT15300

tfm.nvim

Neovim plugin for terminal file manager integration

Language:LuaMIT6900

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Language:HaskellBSD-3-Clause34000

fakedonalds.nvim

A McDonald's inspired theme

Language:Lua9700

sample-luarocks-plugin

An example of a luarocks plugin for Neovim.

1600

flakeshot

A screenshot tool for unix-systems which runs natively on Wayland and X11!

Language:RustGPL-2.01000

thiserror

derive(Error) for struct and enum error types

Language:RustApache-2.0408600