danielkroeni

danielkroeni's Stars

• erkmos/haskell-companies

  A gently curated list of companies using Haskell in industry

  932134

• haskell/haskell-language-server

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

  Language:Haskell2.6k355

• tonsky/datascript

  Immutable database and Datalog query engine for Clojure, ClojureScript and JS

  Language:Clojure5.5k304

• oakes/odoyle-rules

  A rules engine for Clojure(Script)

  Language:Clojure53420

• HigherOrderCO/hvm-64

  Language:Rust49634

• fused-effects/fused-effects

  A fast, flexible, fused effect system for Haskell

  Language:Haskell64353

• luke-clifton/shh

  Simple shell like scripting from Haskell

  Language:Haskell26710

• chhackett/vty-windows

  Language:Haskell51

• jtdaugherty/vty-unix

  Unix backend for Vty

  Language:Haskell44

• jtdaugherty/vty-crossplatform

  Build-time cross-platform package for Vty

  Language:Haskell32

• Phate334/chatgpt-local-reader-plugin

  This is the simplest method for ChatGPT to read local text files.

  Language:Python161

• zfoh/HaskellerZ

  Notes and files from HaskellerZ meetups.

  Language:HTML21238

• lampepfl/gears

  A strawman for a low-level async library in Scala 3.

  Language:Scala24724

• zama-ai/concrete

  Concrete: TFHE Compiler that converts python programs into FHE equivalent

  Language:C++1.2k139

• e2b-dev/E2B

  Secure open source cloud runtime for AI apps & AI agents

  Language:TypeScript6.6k422

• ros-navigation/navigation2

  ROS 2 Navigation Framework and System

  Language:C++2.5k1.3k

• rbonghi/isaac_ros_tutorial

  Set of tutorial to start with Isaac ROS and deploy your docker container

  Language:Dockerfile7918

• dusty-nv/jetson-containers

  Machine Learning Containers for NVIDIA Jetson and JetPack-L4T

  Language:Python2.1k440

• kobuki-base/kobuki_ros

  ROS2 runtime libraries, nodes and launchers for the Kobuki

  Language:C++4727

• valerobles/blockchain_based_game

  Language:SCSS11

• ShawnHymel/introduction-to-fpga

  Language:Verilog15336

• red-data-tools/YouPlot

  A command line tool that draw plots on the terminal.

  Language:Ruby4.1k57

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML8.8k1k

• apple/ml-stable-diffusion

  Stable Diffusion with Core ML on Apple Silicon

  Language:Python16.7k925

• heft-lang/POPL2023

  The repository containing the artifact accompanying the paper

  Language:HTML9

• starkware-libs/cairo

  Cairo is the first Turing-complete language for creating provable programs for general computation.

  Language:Rust1.5k474

• sweirich/haskelltester

  Simple autograder for Haskell programming assignments

  Language:Haskell173

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell60034

• aristanetworks/purescript-backend-optimizer

  Optimizing backend toolkit and modern ECMAScript backend for PureScript

  Language:PureScript19918

• mrdomino/hsnock

  Nock 5K interpreter in Haskell

  Language:Haskell101