7h3kk1d

7h3kk1d's Stars

• microsoft/language-server-protocol

  Defines a common protocol for language servers.

  Language:HTML11.7k2741.2k841

• mholt/timeliner

  All your digital life on a single timeline, stored locally -- DEPRECATED, SEE TIMELINIZE (link below)

  Language:Go3.6k5976116

• reasonml/reason-react

  Reason bindings for ReactJS

  Language:Reason3.3k63275352

• loggerhead/json4u

  Language:TypeScript2.5k620125

• josephburnett/jd

  JSON diff and patch

  Language:Go2k116856

• google-research/dex-lang

  Research language for array processing in the Haskell/ML family

  Language:Haskell1.6k56361109

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.4k23143152

• elixir-explorer/explorer

  Series (one-dimensional) and dataframes (two-dimensional) for fast and elegant data exploration in Elixir

  Language:Elixir1.2k29362130

• typelevel/frameless

  Expressive types for Spark.

  Language:Scala88427157137

• timelinize/timelinize

  Store your data from all your accounts and devices in a single cohesive timeline on your own computer

  Language:Go852124025

• ocaml/ocaml-lsp

  OCaml Language Server Protocol implementation

  Language:OCaml81019423126

• airscripts/awesome-steam-deck

  A curated list of awesome Steam Deck software, resources and more.

  48081313

• ott-lang/ott

  The Ott tool for writing definitions of programming languages and calculi

  Language:OCaml366145548

• coekie/flowtracker

  Track data flowing through Java programs

  Language:Java3542412

• MaggieAppleton/maggieappleton.com-V2

  ⚠️ Now retired. My previous digital garden built with Next.js, React, and MDX. Featuring loosely opinionated notes, half-formed ideas, and content that is always growing.

  Language:MDX3466430

• hazelgrove/tylr

  a tiny tile-based editor

  Language:Reason304101235

• kspalaiologos/kamilalisp

  A functional, flexible and concise Lisp.

  Language:Java28610610

• stefanjudis/awesome-command-palette

  A list of awesome command palette implementations.

  2808420

• cuter-testing/cuter

  A concolic testing tool for the Erlang functional programming language.

  Language:Erlang21397321

• NorfairKing/haskell-dangerous-functions

  Documentation about Haskell's dangerous functions and a hlint config file to warn about them

  Language:Haskell17981014

• ocaml-community/omd

  extensible Markdown library and tool in "pure OCaml"

  Language:OCaml1542019346

• FolkComputer/folk

  🎁 Physical computing system.

  Language:Tcl12429676

• Innf107/polaris

  A functional programming language with shell scripting capabilities

  Language:OCaml114523

• mighty-gerbils/gerbil-persist

  Persistence of concurrent activities for Gerbil Scheme

  Language:Scheme50905

• FelixKohlhas/ScreenTime2CSV

  Language:Python46235

• janestreet/higher_kinded

  A library with an encoding of higher kinded types in OCaml

  Language:OCaml40922

• ngernest/pbt-bibliography

  A collaborative bibliography of papers related to property-based testing

  11200

• brianhempel/maniposynth

  Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.

  Language:OCaml930

• hazelgrove/hazelgrove.github.io

  Website for hazelgrove project

  Language:HTML26112

• mplse-reading-group/mplse-reading-group.github.io

  Language:Haskell1102