nasosev

nasosev's Stars

• agrafix/openai-hs

  Unofficial OpenAI Haskell Bindings

  Language:Haskell4822

• martinhelso/UiB

  Beamer theme for the University of Bergen

  Language:TeX2723

• tweag/HaskellR

  The full power of R in Haskell.

  Language:Haskell58047

• tweag/monad-bayes

  A library for probabilistic programming in Haskell.

  Language:Jupyter Notebook40162

• haskell-distributed/distributed-process

  Cloud Haskell core library

  Language:Haskell70697

• fantasyland/fantasy-land

  Specification for interoperability of common algebraic structures in JavaScript

  Language:JavaScript10k373

• gcanti/fp-ts

  Functional programming in TypeScript

  Language:TypeScript10.7k503

• xyflow/xyflow

  React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely customizable.

  Language:TypeScript23k1.5k

• statebox/cql

  CQL: Categorical Query Language implementation in Haskell

  Language:Haskell16314

• ByteByteGoHq/system-design-101

  Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

  60.9k6.3k

• PrefectHQ/marvin

  ✨ Build AI interfaces that spark joy

  Language:Python5k328

• jackmpcollins/magentic

  Seamlessly integrate LLMs as Python functions

  Language:Python1.8k89

• nasosev/cva

  Concurrent Valuation Algebras (CVAs) formalised in Isabelle/HOL

  Language:Isabelle2

• isabelle-prover/isabelle-linter

  Linter component for Isabelle.

  Language:Scala173

• tomssem/isabelle_cheatsheet

  A cheat sheet for Isabelle/ Isar/ HOL

  Language:Isabelle1

• onomatic/icfem23-proofs

  Language:Isabelle11

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML10.1k10.8k

• PromtEngineer/localGPT

  Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

  Language:Python19.7k2.2k

• haskell/statistics

  A fast, high quality library for computing with statistics in Haskell.

  Language:Haskell29868

• ermongroup/cs228-notes

  Course notes for CS228: Probabilistic Graphical Models.

  Language:SCSS1.9k467

• mvr/at

  Effective Algebraic Topology in Haskell

  Language:Haskell833

• SimulaVR/godot-haskell

  Haskell bindings for GdNative

  Language:Haskell16716

• buddhi1980/mandelbulber2

  Official repository for Mandelbulber v2

  Language:C++887116

• weeezes/plot

  Simple plotting tool for the terminal

  Language:Haskell863

• aaronallen8455/breakpoint

  Set breakpoints using a GHC plugin

  Language:Haskell462

• kowainik/relude

  🌀 Safe, performant, user-friendly and lightweight Haskell standard library

  Language:Haskell69379

• haskell-numerics/hmatrix

  Linear algebra and numerical computation

  Language:Haskell379105

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28068

• locusmath/locus

  A specialised computer algebra system for topos theory.

  Language:Clojure171

• nasosev/faisceau

  Cellular sheaves for F#

  Language:F#6