georgeee

georgeee's Stars

• parallax/jsPDF

  Client-side JavaScript PDF generation for everyone.

  Language:JavaScript29.4k4772.5k4.7k

• gpakosz/.tmux

  🇫🇷 Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ❤️

  Language:Shell22.1k2506803.4k

• Frege/frege

  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

  Language:Frege3.6k154283145

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k802k234

• asciinema/asciinema-player

  Web player for terminal session recordings

  Language:JavaScript2.7k58182266

• MinaProtocol/mina

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

  Language:OCaml2k956.4k529

• tweag/asterius

  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

  Language:Haskell2k7329358

• hacl-star/hacl-star

  HACL*, a formally verified cryptographic library written in F*

  Language:F*1.6k78229170

• emeryberger/Hoard

  The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.

  Language:C++1.1k6460129

• begriffs/haskell-vim-now

  One-line Haskell Vim install

  Language:Shell98828199100

• jagajaga/FP-Course-ITMO

  Slides and other materials for functional programming lectures ITMO university

  Language:Haskell61437636

• hyperledger-labs/Scorex

  Scorex 2.0 Core

  Language:Scala54460127115

• paulhoux/Cinder-Samples

  Sample applications for the Cinder framework

  Language:C40153499

• emeryberger/Heap-Layers

  Heap Layers: An Extensible Memory Allocation Infrastructure

  Language:C++38420856

• litxio/ptghci

  High-powered REPL for Haskell, inspired by IPython

  Language:Haskell3375276

• atsky/haskell-idea-plugin

  IntelliJ IDEA plugin for Haskell

  Language:Kotlin2011911821

• GrammaticalFramework/GF

  Archive of monolithic GF repository until 2018-07-25

  Language:Grammatical Framework189422051

• nh2/hatrace

  scriptable strace

  Language:Haskell123111524

• fizruk/telegram-bot-simple

  Easy to use library for building Telegram bots in Haskell.

  Language:Haskell10866754

• serokell/importify

  :space_invader: Importi.fy — it's like Uber, but for Haskell modules.

  Language:Haskell10433309

• braverock/PortfolioAnalytics

  Language:PostScript79203046

• int-index/ether

  Monad Transformers and Classes

  Language:Haskell789177

• volhovm/study-notes

  ITMO/CTD notes, y2013 🇺🇦

  Language:HTML7010118

• ekmett/ersatz

  A monad for interfacing with external SAT solvers

  Language:Haskell63135615

• fizruk/lxc

  High level Haskell bindings to LXC (Linux containers).

  Language:Haskell47565

• MinaProtocol/c-reference-signer

  Language:C32201325

• serokell/time-warp

  Distributed systems execution emulation

  Language:Haskell183615

• serokell/cardano-sl

  Cryptographic currency implementing Ouroboros PoS protocol

  Language:Haskell124001

• DaveCTurner/paxos-dojo

  Language:JavaScript3305

• jagajaga/samurai-thesis

  Language:Pure Data2403