Сухарик's repositories

awesome-microtonal

A curated list of useful resources for writing microtonal music

advent-of-tla

AoC goals in TLA+

Language:TLALicense:MITStargazers:7Issues:2Issues:1

makam-examples

Small languages in Makam language

Language:JavaScriptLicense:MITStargazers:2Issues:2Issues:0

makam

The Makam Metalanguage

Language:OCamlLicense:GPL-3.0Stargazers:1Issues:2Issues:0

makam-lang

VS Code support for Makam language

Language:JavaScriptStargazers:1Issues:3Issues:3

A-Programming-Language

An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.

Language:TeXStargazers:0Issues:1Issues:0

aesop

White-box automation for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

BQN

An APL-like programming language. Self-hosted!

Language:Emacs LispLicense:ISCStargazers:0Issues:1Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

CBQN

a BQN implementation in C

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Language:RustLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

do-supplement

Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"

Language:LeanStargazers:0Issues:1Issues:0

fldigi

A mirror of the fldigi git

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:3Issues:0

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

Language:SystemVerilogLicense:NOASSERTIONStargazers:0Issues:1Issues:0

magic-racket

The best coding experience for Racket in VS Code

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:3Issues:0

opensmalltalk-vm

Cross-platform virtual machine for Squeak, Pharo, Cuis, and Newspeak.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

oterm

a text-based terminal client for Ollama

License:MITStargazers:0Issues:0Issues:0
Language:LeanStargazers:0Issues:2Issues:0

rwkv_chatbot

rwkv_chatbot

Language:PythonStargazers:0Issues:1Issues:0

sodiumoxide

Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

termux-app

Termux - a terminal emulator application for Android OS extendible by variety of packages.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

tox

toxcore implementation in Rust

Language:RustLicense:GPL-3.0Stargazers:0Issues:3Issues:0

tox-node

A server application to run tox node written in pure Rust

Language:RustLicense:MITStargazers:0Issues:3Issues:0

zig-overlay

Nix flake for Zig binaries

Language:NixLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0