tittoassini

tittoassini's Stars

• openai/whisper

  Robust Speech Recognition via Large-Scale Weak Supervision

  Language:Python68.1k57108.1k

• microsoft/playwright

  Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

  Language:TypeScript66k47814.3k3.6k

• Vanessa219/vditor

  ♏ 一款浏览器端的 Markdown 编辑器，支持所见即所得（富文本）、即时渲染（类似 Typora）和分屏预览模式。An In-browser Markdown editor, support WYSIWYG (Rich Text), Instant Rendering (Typora-like) and Split View modes.

  Language:TypeScript8.3k651.5k855

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.7k1082.8k269

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k60316160

• aardappel/treesheets

  TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)

  Language:C++2.6k60284193

• aardappel/lobster

  The Lobster Programming Language

  Language:C++2.3k56158120

• nature-of-code/noc-book

  The Nature of Code book (archived repo, see README for new repo / build system!)

  Language:JavaScript1.9k146109365

• 6pac/SlickGrid

  A lightning fast JavaScript grid/spreadsheet

  Language:TypeScript1.8k99421423

• BartoszMilewski/Publications

  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

  Language:Haskell1.2k1391736

• obsidiansystems/obelisk

  Functional reactive web and mobile applications, with batteries included.

  Language:Haskell95247424104

• fused-effects/fused-effects

  A fast, flexible, fused effect system for Haskell

  Language:Haskell6442417653

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean51633427

• c3d/xl

  A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites

  Language:C++271175115

• fp-ts/schema

  Modeling the schema of data structures as first-class values

  Language:TypeScript19815414

• AndrasKovacs/flatparse

  Fast parsing from bytestrings

  Language:Haskell14573111

• haskell-game/dear-imgui.hs

  Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

  Language:Haskell141114931

• theam/tintin

  📚 A softer alternative to Haddock

  Language:Haskell104163918

• seanparsons/glue

  Building Better Services And Clients

  Language:Haskell39643

• fcrespo82/vscode-markdown-table-formatter

  A (not so) simple Visual Studio Code markdown plugin to format tables and some other features.

  Language:TypeScript262448

• Plasma/csv-to-table

  CSV to Table vscode extension

  Language:TypeScript182106

• Surya742/Intellectify

  A smart VS-Code extension

  Language:JavaScript16233

• wenkokke/unlit

  Tool to convert literate code between styles or to code.

  Language:HTML11354

• ExtremaIS/ttc-haskell

  Textual Type Classes - a Haskell library for conversion between data types and textual data types

  Language:Haskell9441

• soupi/gotta-go-fast

  Abandoned: https://github.com/haskellfoundation/tech-proposals/pull/9

  920

• zachsully/dl

  A prototype compiler for lambdacop: a language expressing the duality of matching

  Language:Haskell81

• MetaBorgCube/From-Definitional-Interpreter-To-Symbolic-Executor

  A literate Haskell exploration of how to derive symbolic executors from definitional interpreters

  Language:TeX6500

• nh2/call-python-via-msgpack

  Call Python from Haskell by FFI-via-serialisation over MessagePack

  Language:Haskell61

• leanprover/mdBook

  Create book from markdown files. Like Gitbook but implemented in Rust

  Language:Rust3201

• jerbaroo/telescope

  A Haskell framework for building reactive applications with data streamed directly from DB :telescope:

  Language:Haskell11460