Beast code in Giters

Alexander Svyazin's starred repositories

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION10861 242 161

semantic

Parsing, analyzing, and comparing source code across many languages

Language:Haskell8912 397 271

delta

An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

Language:ScalaApache-2.07311 219 1448

wav2letter

Facebook AI Research's Automatic Speech Recognition Toolkit

Language:C++NOASSERTION6352 246 925

kafdrop

Kafka Web UI

Language:JavaApache-2.05343 64 324

serve

Serve, optimize and scale PyTorch models in production

Language:JavaApache-2.04077 59 1613

tch-rs

Rust bindings for the C++ api of PyTorch.

Language:RustApache-2.04065 54 554

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Language:ScalaApache-2.04034 113 2544

mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Language:OCamlApache-2.01976 101 6307

kona

Open-source implementation of the K programming language

Language:CISC1356 57 561

hasktorch

Tensors and neural networks in Haskell

Language:HaskellNOASSERTION1046 30 204

open_stt

Open STT

Language:PythonNOASSERTION775 58 39

maptool

Virtual Tabletop for playing roleplaying games with remote players or face to face.

Language:JavaAGPL-3.0766 40 2152

idris-jvm

JVM bytecode back end for Idris

Language:IdrisBSD-3-Clause469 29 56

CppAst.NET

CppAst is a .NET library providing a C/C++ parser for header files powered by Clang/libclang with access to the full AST, comments and macros

Language:C#BSD-2-Clause467 16 59

elvis

Erlang Style Reviewer

Language:ErlangApache-2.0424 56 330

unimrcp

Open source cross-platform implementation of MRCP protocol

Language:CApache-2.0364 39 310

purescript-flame

Fast & simple framework for building web applications

Language:PureScriptMIT291 9 37

microlens

A lightweight (but compatible with ‘lens’) lenses library

Language:Haskell283 11 123

Torch.NET

.NET bindings for PyTorch. Machine Learning with C# / F# with Multi-GPU/CPU support

Language:C#NOASSERTION275 22 13

henkan

A small library for converting between case classes.

Language:ScalaNOASSERTION268 8 22

explain-pause-mode

top, but for Emacs.

Language:Emacs LispGPL-3.0235 12 81

haskell-telegram-api

Telegram Bot API for Haskell

Language:HaskellBSD-3-Clause200 11 61

weeder

Detect dead exports or package imports

Language:HaskellBSD-3-Clause123 10 49

scala-to-dotty

Dotty way of writing Scala 2 code

Language:ScalaMIT121 110

astar-monad

A smart A* search monad transformer which supports backtracking user-state!

Language:HaskellBSD-3-Clause81 6 2

CppPinvokeGenerator

A simple pinvoke generator based on CppAst to generate C# for C++

Language:C#BSD-2-Clause32 4 4

boulder-dash.rs

A remake of the classic Boulder Dash game in Rust, using Amethyst.rs engine

Language:RustApache-2.021 30

FarRP

An arrowized FRP library for Idris with static safety guarantees.

Language:IdrisLGPL-3.016 50

MUDClient

A client to play MUDs (The ones I play :P), made in Pharo

Language:SmalltalkMIT14 5 1