AvramRobert

AvramRobert's Stars

• mrparkers/terraform-provider-keycloak

  Terraform provider for Keycloak

  Language:Go632312

• mgdm/htmlq

  Like jq, but for HTML.

  Language:Rust7.1k111

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust18.5k1.4k

• ansiwave/ansiwave

  A modern BBS

  Language:Nim3824

• mrkkrp/megaparsec

  Industrial-strength monadic parser combinator library

  Language:Haskell91586

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  96381

• nim-lang/Nim

  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  Language:Nim16.6k1.5k

• async-profiler/async-profiler

  Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

  Language:C++7.5k847

• diasurgical/devilutionX

  Diablo build for modern operating systems

  Language:C++8k791

• snowleopard/selective

  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

  Language:TeX20221

• lexi-lambda/hackett

  WIP implementation of a Haskell-like Lisp in Racket

  Language:Racket1.2k50

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k80

• lexi-lambda/freer-simple

  A friendly effect system for Haskell

  Language:Haskell22820

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k210

• mabe02/lanterna

  Java library for creating text-based GUIs

  Language:Java2.3k243

• sharkdp/bat

  A cat(1) clone with wings.

  Language:Rust49.4k1.3k

• zio/zio

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

  Language:Scala4.1k1.3k

• carp-lang/Carp

  A statically typed lisp, without a GC, for real-time applications.

  Language:Haskell5.5k178

• Unrepl/unrepl

  A common ground for better Clojure REPLs

  Language:Clojure23117

• lacuna/bifurcan

  functional, durable data structures

  Language:Java96553

• usethesource/capsule

  The Capsule Hash Trie Collections Library

  Language:Java40428

• OpenRCT2/OpenRCT2

  An open source re-implementation of RollerCoaster Tycoon 2 🎢

  Language:C++13.4k1.5k

• clojure/core.typed

  An optional type system for Clojure

  Language:Clojure1.3k75

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust56.2k3k

• elves/elvish

  Powerful scripting language & versatile interactive shell

  Language:Go5.7k299

• Swordfish90/cool-retro-term

  A good looking terminal emulator which mimics the old cathode display...

  Language:QML22.3k850

• brandonbloom/fipp

  Fast Idiomatic Pretty Printer for Clojure

  Language:Clojure52744

• k88hudson/git-flight-rules

  Flight rules for git

  41.9k3.2k

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10.1k2.5k

• redplanetlabs/specter

  Clojure(Script)'s missing piece

  Language:Clojure2.5k106