Beast code in Giters

Dmitry Naumenko's starred repositories

meta-typing

📚 Functions and algorithms implemented purely with TypeScript's type system

Language:TypeScriptMIT153800

ParlAI

A framework for training and evaluating AI models on a variety of openly available dialogue datasets.

Language:PythonMIT1045000

awesome-foundationdb

List of FoundationDB resources

18000

foundationdb4s

Type-safe and idiomatic Scala client for FoundationDB

Language:ScalaApache-2.02800

proposals

Tracking ECMAScript Proposals

1804900

raft.tla

TLA+ specification for the Raft consensus algorithm

Language:TLA45000

glances

Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.

Language:PythonNOASSERTION2589100

tldr

📚 Collaborative cheatsheets for console commands

Language:MarkdownNOASSERTION4958200

classgraph

An uber-fast parallelized Java classpath scanner and module scanner.

Language:JavaMIT269700

dqlite

Embeddable, replicated and fault-tolerant SQL engine.

Language:CNOASSERTION379900

binfu

Small collection of {git, github, scala}-fu

Language:Shell700

enumeratum

A type-safe, reflection-free, powerful enumeration implementation for Scala with exhaustive pattern match warnings and helpful integrations.

Language:ScalaMIT118300

idealingua-example

Scala backend + TypeScript frontend Example for Idealingua API Language

Language:Scala1000

github-todos

Git hook to convert your TODOs into Github issues

Language:JavaScriptMIT128600

spotted-leopards

Proof of concept for a cats-like library built using Dotty features

Language:ScalaApache-2.011700

next-700-module-systems

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Language:HTMLGPL-3.08000

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

29128200

hashed-wheel-timer

High Performance Timer / Scheduler Library compatible with ScheduledExecutorService

Language:JavaEPL-1.022200

meow-mtl

Next Level MTL for Scala

Language:ScalaMIT16200

haskell

A curated list of awesome things related to Haskell.

Language:Haskell28100

system-design-interview

System design interview for IT companies

2146100

shapeless

Generic programming for Scala

Language:ScalaApache-2.0337500

zorechka-bot

Github bot for keeping your Bazel dependencies up-to-date and clean

Language:ScalaMIT2700

scala3

The Scala 3 compiler, also known as Dotty.

Language:ScalaApache-2.0575000

better-monadic-for

Desugaring scala `for` without implicit `withFilter`s

Language:ScalaMIT70300

fx

Terminal JSON viewer & processor

Language:GoMIT1882600

roshi

Roshi is a large-scale CRDT set implementation for timestamped events.

Language:GoBSD-2-Clause313900

BlockHound

Java agent to detect blocking calls from non-blocking threads.

Language:JavaApache-2.0131800

http4s

A minimal, idiomatic Scala interface for HTTP

Language:ScalaApache-2.0252800

fs2

Compositional, streaming I/O library for Scala

Language:ScalaNOASSERTION234800