Giters
Marcin Bugaj (marcinbugaj)

marcinbugaj

Geek Repo

2

followers

1

following

26

stars

Company:@mlabs-haskell

Github PK Tool:Github PK Tool

Marcin Bugaj's starred repositories

sage

Main repository of SageMath

Language:PythonLicense:NOASSERTIONStargazers:1370Issues:0Issues:0

plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Language:HaskellLicense:MITStargazers:123Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10455Issues:0Issues:0

plutus-simple-model

Unit testing with resource estimation for Plutus

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:0Issues:0

petal-clustering

DBSCAN and OPTICS clustering algorithms.

Language:RustLicense:Apache-2.0Stargazers:25Issues:0Issues:0

hdbscan

A Fast Parallel Algorithm for HDBSCAN* Clustering

Language:C++License:MITStargazers:53Issues:0Issues:0

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonLicense:UnlicenseStargazers:131763Issues:0Issues:0

haskell-companies

A gently curated list of companies using Haskell in industry

License:UnlicenseStargazers:941Issues:0Issues:0

csmith

Csmith, a random generator of C programs

Language:C++License:NOASSERTIONStargazers:1010Issues:0Issues:0

gstreamer-rs

GStreamer bindings for Rust - This repository moved to https://gitlab.freedesktop.org/gstreamer/gstreamer-rs

Language:RustLicense:NOASSERTIONStargazers:515Issues:0Issues:0

semantic

Parsing, analyzing, and comparing source code across many languages

Language:HaskellStargazers:8958Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2503Issues:0Issues:0

haskell-language-server

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

Language:HaskellLicense:Apache-2.0Stargazers:2662Issues:0Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMLicense:NOASSERTIONStargazers:28398Issues:0Issues:0

neural-enhance

Super Resolution for images using deep learning.

Language:PythonLicense:AGPL-3.0Stargazers:11867Issues:0Issues:0

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Language:C++License:BSD-2-ClauseStargazers:1000Issues:0Issues:0

grpc-rust

Rust implementation of gRPC

Language:RustLicense:MITStargazers:1376Issues:0Issues:0

grpc-rs

The gRPC library for Rust built on C Core library and futures

Language:RustLicense:Apache-2.0Stargazers:1802Issues:0Issues:0

horology

timing functions, contexts and for-loops

Language:PythonLicense:MITStargazers:86Issues:0Issues:0

actor-framework

An Open Source Implementation of the Actor Model in C++

Language:C++License:BSD-3-ClauseStargazers:3182Issues:0Issues:0

nfusr

NFS client in userspace.

Language:C++License:NOASSERTIONStargazers:91Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3427Issues:0Issues:0

etl

Embedded Template Library

Language:C++License:MITStargazers:2186Issues:0Issues:0

intellij-haskell

IntelliJ plugin for Haskell

Language:ScalaLicense:Apache-2.0Stargazers:1314Issues:0Issues:0

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

Language:HaskellLicense:NOASSERTIONStargazers:1429Issues:0Issues:0

RxCpp

Reactive Extensions for C++

Language:C++License:Apache-2.0Stargazers:3034Issues:0Issues:0