rosenk

rosenk's Stars

• purescript/psc-package

  A package manager for PureScript based on package sets

  Language:Haskell22845

• justinwoo/vidtracker

  A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally

  Language:Nix727

• STMicroelectronics-CentralLabs/ST_Drone_FCU_F401

  Toy drone project for STEVAL-FCU001V1 flight controller unit demo board.

  Language:C157114

• aws/aws-iot-device-sdk-embedded-C

  SDK for connecting to AWS IoT from a device using embedded C.

  Language:C978626

• commaai/openpilot

  openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275+ supported cars.

  Language:Python49.5k9k

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k134

• smudgelang/smudge

  A domain-specific language for state machines.

  Language:Haskell12712

• aws/amazon-freertos

  DEPRECATED - See README.md

  Language:C2.5k1.1k

• ruslo/polly

  :wrench: Collection of CMake toolchain files and scripts for cross-platform build and CI testing (GCC, Visual Studio, iOS, Android, Clang analyzer, sanitizers etc.)

  Language:CMake859191

• dhall-lang/dhall-nix

  This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix

  Language:Nix894

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k583

• svanderburg/composer2nix

  Generate Nix expressions to build PHP composer packages

  Language:Nix8724

• kiberpipa/nix-rehash

  Nix development utils that will blow up your mind

  Language:Nix446

• gokrazy/gokrazy

  turn your Go program(s) into an appliance running on the Raspberry Pi 3, Pi 4, Pi 5, Pi Zero 2 W, or amd64 PCs!

  Language:Go3.2k119

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k117

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.1k1.2k

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k211

• gothinkster/realworld

  "The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

  Language:TypeScript80.3k7.3k

• eckyputrady/haskell-scotty-realworld-example-app

  Exemplary real world backend API built with Haskell/Scotty https://realworld.io

  Language:Haskell21031

• openalpr/openalpr

  Automatic License Plate Recognition library

  Language:C++11k2.5k

• iotaledger/iri

  IOTA Reference Implementation

  Language:Java1.2k370

• kndt84/passport-cognito

  Passport strategy for AWS Cognito User Pools

  Language:JavaScript7830

• claudiajs/claudia

  Deploy Node.js projects to AWS Lambda and API Gateway easily

  Language:JavaScript3.8k276

• sharkdp/cube-composer

  A puzzle game inspired by functional programming

  Language:PureScript2k84

• tokio-rs/prost

  PROST! a Protocol Buffers implementation for the Rust Language

  Language:Rust3.8k498

• gabime/spdlog

  Fast C++ logging library.

  Language:C++23.9k4.5k

• LearningByExample/ModernCppCI

  This is an example of doing a Modern C++ project with CI

  Language:C++12235

• haskell-tls/hs-certificate

  Certificate and Key Reader/Writer in haskell

  Language:Haskell6057

• Links2004/arduinoWebSockets

  arduinoWebSockets

  Language:C++1.9k555

• amazon-archives/amazon-cognito-auth-js

  The Amazon Cognito Auth SDK for JavaScript simplifies adding sign-up, sign-in with user profile functionality to web apps.

  Language:JavaScript423232