DimaSamoz

DimaSamoz's Stars

• satwikkansal/wtfpython

  What the f*ck Python? 😱

  Language:Python35.8k7262062.7k

• reHackable/awesome-reMarkable

  A curated list of projects related to the reMarkable tablet

  6.3k26339213

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k522.2k367

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k2522683

• yishn/tikzcd-editor

  A simple visual editor for creating commutative diagrams.

  Language:JavaScript1.9k2949100

• ddvk/remarkable-hacks

  additional functionality via binary patching

  Language:Shell1.7k13150582

• thma/LtuPatternFactory

  Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

  Language:Haskell994272139

• begriffs/haskell-vim-now

  One-line Haskell Vim install

  Language:Shell98829199100

• cohomolo-gy/haskell-resources

  A List of Foundational Haskell Papers

  Language:JavaScript86446571

• bordaigorl/rmview

  A live viewer for reMarkable written in PyQt5

  Language:Python7642111363

• alexwl/haskell-code-explorer

  Web application for exploring and understanding Haskell codebases

  Language:Haskell512184020

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3692115567

• evertedsphere/silica

  optics for Haskell with the most amazing type errors you've seen

  Language:Haskell2431837

• Merovius/srvfb

  Stream a framebuffer device over HTTP

  Language:Go240112120

• banacorn/agda-mode-vscode

  agda-mode on VS Code

  Language:ReScript1701014040

• graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell

  Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

  Language:Haskell155909

• copumpkin/categories

  Categories parametrized by morphism equality, in Agda

  Language:Agda148151725

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda95609

• jsiek/abstract-binding-trees

  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

  Language:Agda71435

• SenpaiHunters/SpotOn

  SpotOn, a browser extension for Spotify. Including full custom toggles and user settings! For more info check out the README.md! Happy Spotting!

  Language:JavaScript63342

• sheyll/type-spec

  A tiny EDSL to write type-level-unit tests

  Language:Haskell49420

• atian25/vscode-copy-syntax

  copy your code with syntax highlight to clipboard, can be used at your slide.

  Language:TypeScript272143

• f4814/Tetris

  A (incomplete) terminal Tetris. Written in Haskell.

  Language:Haskell26205

• shelbyd/tarmak

  Tarmak keyboard layouts for as many OSes as possible.

  Language:Shell26454

• pcarbonn/H-Calc

  So, you want to write a DSL interpreter...

  Language:Haskell25502

• varkor/tangle

  A modern string diagram editor for the web.

  Language:JavaScript195170

• leftaroundabout/beamonad

  A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.

  Language:Haskell10202

• rmclarke/OptimisingWeightUpdateHyperparameters

  Code base for the paper "Scalable One-Pass Optimisation of High-Dimensional Weight-Update Hyperparameters by Implicit Differentiation"

  Language:Python10102

• J2G8W/UbiForm

  UbiForm is a Ubiquitous perFormance library. The purpose of the library is to provide a Middleware for IoT developers which gives a flexible and reconfigurable interface.

  Language:C++120

• Whiles9799/Part-II-Project

  Language:TeX120