Giters
Alexander Svyazin (asvyazin)

asvyazin

Geek Repo

15

followers

6

following

475

stars

Github PK Tool:Github PK Tool

Alexander Svyazin's starred repositories

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:RustLicense:Apache-2.0Stargazers:16780Issues:88Issues:1772

kotlindl

High-level Deep Learning Framework written in Kotlin and inspired by Keras

Language:KotlinLicense:Apache-2.0Stargazers:1438Issues:44Issues:265

elixir-ls

A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

Language:ElixirLicense:Apache-2.0Stargazers:1430Issues:35Issues:579

caramel

:candy: a functional language for building type-safe, scalable, and maintainable applications

Language:OCamlLicense:Apache-2.0Stargazers:1051Issues:26Issues:66

hamler

Haskell-style functional programming language running on Erlang VM.

Language:ErlangLicense:BSD-3-ClauseStargazers:1025Issues:31Issues:78

mercury

The Mercury logic programming system.

Language:MercuryLicense:NOASSERTIONStargazers:889Issues:38Issues:72

magnolia

Easy, fast, transparent generic derivation of typeclass instances

Language:ScalaLicense:Apache-2.0Stargazers:756Issues:47Issues:202

Pororoca

An HTTP testing tool with support for HTTP/2 and HTTP/3. Alternative to Postman.

Language:C#License:NOASSERTIONStargazers:432Issues:5Issues:61

vange-rs

Rusty Vangers clone

Language:RustLicense:Apache-2.0Stargazers:421Issues:18Issues:118

serapeum

Utilities beyond Alexandria

Language:Common LispLicense:MITStargazers:412Issues:20Issues:122

lnp-forge

A Dwarf Fortress starter pack builder for Linux & MacOS

Language:CLicense:NOASSERTIONStargazers:240Issues:9Issues:76

Ingnomia

Language:C++License:AGPL-3.0Stargazers:237Issues:29Issues:141

hypermine

A hyperbolic voxel game

Language:RustLicense:Apache-2.0Stargazers:150Issues:11Issues:64

screeps-game-api

Typed bindings to the Screeps in-game API for WASM Rust AIs

Language:RustLicense:MITStargazers:135Issues:11Issues:123

vektonn

Language:C#License:Apache-2.0Stargazers:127Issues:6Issues:2

linux_rocksmith

Guides to get Rocksmith 2014 running on Linux

Language:ShellLicense:GPL-3.0Stargazers:93Issues:4Issues:43

icecream-rs

Better print debugging for Rust

Language:RustStargazers:84Issues:2Issues:1

projekto

Voxel game made with Bevy Engine

Language:RustLicense:MITStargazers:59Issues:2Issues:37

vektonn-index

.NET library for efficient similarity search of dense and sparse vectors

Language:C#License:Apache-2.0Stargazers:57Issues:4Issues:2

rumpsteak

:meat_on_bone: Session types for asynchronous communication between multiple parties.

Language:RustLicense:MITStargazers:37Issues:5Issues:2

ularn

Ularn

Language:CLicense:GPL-2.0Stargazers:35Issues:5Issues:10

purescript-screeps

PureScript wrapper library for the Screeps game API (https://screeps.com)

Language:PureScriptLicense:MITStargazers:26Issues:1Issues:5

nuscr

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

Language:OCamlLicense:GPL-3.0Stargazers:25Issues:4Issues:57

RL_M

Larn - based on 12.4 maintained and developed for modern systems

Language:CStargazers:23Issues:4Issues:4

stardeus-translations

Translations for stardeus

Stargazers:21Issues:6Issues:7

authmod

Allows you to safely accept demo versions on your server.

Language:JavaLicense:Apache-2.0Stargazers:20Issues:4Issues:46

Documentation

Documentation of TCoS

Stargazers:9Issues:10Issues:1

haskell-worlds

Another Haskell ECS

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

docs

🚧 Documentation of the project (work in progress)

Stargazers:1Issues:2Issues:1

screeps-haskell-starter

Playing screeps with Haskell

Language:HaskellLicense:MITStargazers:1Issues:2Issues:0