Skip to content
View shika-blyat's full-sized avatar
💭
Functional picklerick
💭
Functional picklerick
  • France

Block or report shika-blyat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A simple library for reporting compiler/interpreter errors

Haskell 256 18 Updated Aug 11, 2024

D3D9 Window overlay written in Rust

Rust 20 6 Updated Aug 20, 2021

A script to dynamically change your wallpaper with a travel photo by Richard Stallman.

Python 11 Updated May 3, 2021

Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.

Rust 10 Updated May 28, 2021

The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch

Haskell 29 2 Updated May 27, 2023

an implementation of game of life on images

Python 7 Updated Nov 2, 2021

Unix-like kernel written in Rust

Rust 2,921 93 Updated Sep 22, 2024

Solving the TSP with genetic algorithm on python

Python 7 1 Updated Apr 3, 2022

F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

F# 2,902 295 Updated Sep 29, 2024

Efficient C++ implementation of the Cassowary constraint solving algorithm

C++ 679 88 Updated Sep 4, 2024

Script is a multi-paradigm compiled programming language. The compiler core has been migrated to CppUtils.

C++ 20 Updated Mar 24, 2024

Site interactif avec théorie, exercices et problèmes

Ruby 51 3 Updated Sep 23, 2024

A ormolu formatter VSCode plugin

TypeScript 10 6 Updated Nov 27, 2022

a library for experimental linear lambda calculus

Haskell 18 Updated Mar 18, 2023

A toy web browser implemented in Rust from scratch

Rust 574 22 Updated Dec 24, 2022

Categorical Logic Notes

72 3 Updated Mar 3, 2022

ECMA-335 Implementation written in Rust

Rust 56 5 Updated Jan 7, 2022

This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parser project which is a good alt.

Python 40 2 Updated Nov 20, 2018

A Minsky Machine in Rust's type system

Rust 43 2 Updated Apr 9, 2020

A cat(1) clone with wings.

Rust 48,949 1,232 Updated Sep 26, 2024

A modern 3D/2D game engine that uses wgpu.

Rust 163 15 Updated Aug 7, 2020

A library for creating references that carry their owner with them.

Rust 360 50 Updated Oct 12, 2023

Implementation of PBR using wgpu-rs

Rust 81 2 Updated Oct 9, 2021

Like "Write Yourself a Scheme in 48 Hours", but in Agda

Agda 51 2 Updated Apr 18, 2018

🥑 A modern delightful operating system

C++ 2,325 128 Updated Sep 28, 2024

A simple ML-like programming language with subtyping and full type inference.

Rust 160 5 Updated May 23, 2024

🍃 A refreshing programming language for the front-end web

Crystal 4,044 139 Updated Sep 24, 2024

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…

Red 5,512 412 Updated Sep 25, 2024
Next