thongpv87

thongpv87's Stars

• joakimkemeny/jke.d3.ecg

  D3 component to create an ECG chart

  Language:JavaScript6429

• libp2p/universal-connectivity

  Realtime decentralised chat with libp2p showing ubiquitous peer-to-peer connectivity between multiple programming languages (Go, Rust, TypeScript) and runtimes (Web, native binary) using QUIC, WebRTC and WebTransport

  Language:TypeScript9332

• elribonazo/djack

  Language:TypeScript5

• IntersectMBO/cardano-node

  The core component that is used to participate in a Cardano decentralised blockchain.

  Language:Haskell3.1k720

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k73

• conal/total-map

  Finitely represented /total/ maps

  Language:Haskell156

• conal/convolution-paper

  Generalized Convolution and Efficient Language Recognition

  Language:HTML17

• conal/talk-2023-galilean-revolution

  A Galilean revolution for computing: Unboundedly scalable reliability and efficiency

  Language:TeX13

• conal/quotes

  My favorite quotes

  Language:Makefile171

• conal/felix

  Agda category theory library for denotational design

  Language:Agda515

• conal/MemoTrie

  Trie-based memo functions

  Language:Haskell9021

• conal/talk-2014-lambdajam-denotational-design

  Talk material for LambdaJam 2014/2015 on denotational design

  Language:TeX1205

• conal/talk-2015-more-elegant-frp

  A more elegant specification for FRP

  Language:TeX24

• ipfs/devgrants

  The IPFS Grant platform connects funding organizations with builders and researchers in the IPFS community.

  16875

• AtalaPRISMTribe/PPPGF

  Atala PRISM Pioneer Program Credential Governance Framework

  73

• conal/equation-transfer

  Transferring equational properties backward through homomorphisms

  Language:Agda4

• geekan/MetaGPT

  🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

  Language:Python46.2k5.5k

• JoinTheAlliance/autocoder

  Code that basically writes itself

  Language:Python10018

• michaelt/martin-lof

  papers of Per Martin Löf

  Language:TeX76066

• ualib/agda-algebras

  The Agda Universal Algebra Library (html docs available at the url below)

  Language:Agda307

• conal/Collaboration

  Play/learn/work with me

  951

• ekmett/free

  free monads

  Language:Haskell16165

• hyprwm/Hyprland

  Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

  Language:C++22.4k933

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell44050

• conal/Fran

  First Haskell implementations of Fran/FRP

  Language:Haskell321

• adi1090x/rofi

  A huge collection of Rofi based custom Applets, Launchers & Powermenus.

  Language:Shell6.9k323

• Copilot-Language/copilot

  A stream-based runtime-verification framework for generating hard real-time C code.

  Language:Haskell65957

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python72.7k6.4k

• wfxr/tmux-power

  🎨 Tmux powerline theme

  Language:Shell566129

• Gabriella439/post-rfc

  Blog post previews in need of peer review

  2.2k169