t0yv0

t0yv0's Stars

• ocornut/imgui

  Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

  Language:C++62.3k1k6.1k10.5k

• localstack/localstack

  💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

  Language:Python57k5195.8k4k

• vurtun/nuklear

  A single-header ANSI C gui library

  Language:C13.7k5476571.1k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1825.6k1.5k

• reasonml/reason

  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  Language:OCaml10.2k1681.5k428

• NLog/NLog

  NLog - Advanced and Structured Logging for Various .NET Platforms

  Language:C#6.3k2742.7k1.4k

• sqlpad/sqlpad

  Web-based SQL editor. Legacy project in maintenance mode.

  Language:JavaScript5.1k156493789

• Topshelf/Topshelf

  An easy service hosting framework for building Windows services using .NET

  Language:C#3.6k223454696

• djrobstep/migra

  Like diff but for PostgreSQL schemas

  Language:Python2.9k42198126

• ocaml-community/awesome-ocaml

  A curated collection of awesome OCaml tools, frameworks, libraries and articles.

  2.8k12746168

• IHaskell/IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k51788256

• roswell/roswell

  intended to be a launcher for a major lisp environment that just works.

  Language:Common Lisp1.8k71429121

• part-cw/lambdanative

  LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.

  Language:Scheme1.4k7228886

• synrc/n2o

  ⭕ N2O: Distributed WebSocket Application Server ISO 20922

  Language:Erlang1.3k82122168

• mighty-gerbils/gerbil

  Gerbil Scheme

  Language:Scheme1.2k32317115

• sestoft/C5

  C5 generic collection library for C#/.NET

  Language:C#1k7158177

• georgebrock/1pass

  A command line interface for 1Password

  Language:HTML987212254

• microsoft/Mobius

  C# and F# language binding and extensions to Apache Spark

  Language:C#939143194212

• ocaml-multicore/ocaml-multicore

  Multicore OCaml

  Language:OCaml7625731968

• haskell-beam/beam

  A type-safe, non-TH Haskell SQL library and ORM

  Language:Haskell58324337170

• madelson/MedallionShell

  A .NET library simplifying the execution and chaining of processes

  Language:C#419229632

• bizzabo/diff

  Visually compare Scala data structures with out of the box support for arbitrary case classes.

  Language:Scala17855917

• eth-sri/psi

  Exact Inference Engine for Probabilistic Programs

  Language:JetBrains MPS13113818

• fsprojects-archive/zzarchive-fsharp-dnx

  F# + ASP.NET vNext (DNX) support

  Language:C#72192119

• Tachyus/gluon

  F# to TypeScript communication

  Language:F#5310276

• mmaul/clml.tutorials

  Tutorials for CLML - Common Lisp Machine Learning

  Language:Common Lisp31515

• TaktInc/fake

  Generate realistic looking fake data

  Language:Haskell111131

• websharper-samples/BookCollection

  Editing a list of book details stored in server memory

  Language:C#8303

• psfblair/FSharp-JVM-Life

  An F# Conway Game of Life running on the JVM.

  Language:JavaScript5100

• fradav/ob-fsharp

  Language:Emacs Lisp1310