Brew317

Brew317's Stars

• vermaseren/form

  The FORM project for symbolic manipulation of very big expressions

  Language:C1.2k139

• nrfconnect/sdk-nrf

  nRF Connect SDK main repository

  Language:C9781.2k

• nrfconnect/sdk-mcuboot

  NCS downstream of https://github.com/zephyrproject-rtos/mcuboot

  Language:C61222

• zephyrproject-rtos/zephyr

  Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

  Language:C11.1k6.8k

• vatlab/sos-notebook

  Multi-language Jupyter Notebook

  Language:CSS17717

• vatlab/sos

  SoS workflow system for daily data analysis

  Language:Python27545

• typelead/eta

  The Eta Programming Language, a dialect of Haskell on the JVM

  Language:Haskell2.6k145

• google/oss-fuzz

  OSS-Fuzz - continuous fuzzing for open source software.

  Language:Shell10.7k2.3k

• JuliaLang/IJulia.jl

  Julia kernel for Jupyter

  Language:Julia2.8k416

• IHaskell/IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k256

• jupyter/notebook

  Jupyter Interactive Notebook

  Language:Jupyter Notebook11.9k5k

• jupyter/jupyter

  Jupyter metapackage for installation, docs and chat

  Language:Python15k4.2k

• gregwebs/Shelly.hs

  Haskell shell scripting

  Language:Haskell41788

• krispo/awesome-haskell

  A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

  Language:Haskell3.1k172