Giters
Salman Saghafi (salmans)

salmans

Geek Repo

12

followers

9

following

46

stars

Company:Fastly

Twitter:@salmansaghafi

Github PK Tool:Github PK Tool

Salman Saghafi's starred repositories

wpi-mira

using apache kafka to conenct to routeviews data and monitor any of the incoming changes

Language:GoLicense:MITStargazers:1Issues:0Issues:0

CremeBrulee

Official repo for the ACSOS 2021 paper on how to manage many deep learning models at the edge!

Language:PythonLicense:MITStargazers:5Issues:0Issues:0

wac

WebAssembly Composition (WAC) tooling

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

component-docs

Documentation around creating and using WebAssembly Components

Language:RustLicense:NOASSERTIONStargazers:52Issues:0Issues:0

cohere-clojure

Unofficial port of the Cohere SDK

Language:ClojureLicense:MITStargazers:42Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:94224Issues:0Issues:0

pathly_visualizer

A repository for sharing test code and experimenting with anycast in preparation for the MQP

Language:GoLicense:MITStargazers:2Issues:0Issues:0

turmoil

Add hardship to your tests

Language:RustLicense:MITStargazers:703Issues:0Issues:0

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustLicense:MITStargazers:710Issues:0Issues:0

cppl

A Cryptographic Protocol Programming Language Compiler and Runtime

Language:OCamlLicense:LGPL-2.1Stargazers:2Issues:0Issues:0

kodkod

Kodkod solver for relational logic

Language:JavaLicense:MITStargazers:73Issues:0Issues:0

Kind1

A next-gen functional language

Language:RustLicense:MITStargazers:3516Issues:0Issues:0

Forge

Forge: A Tool and Language for Teaching Formal Methods

Language:RacketStargazers:67Issues:0Issues:0

poi

a pragmatic point-free theorem prover assistant

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

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Language:RustLicense:NOASSERTIONStargazers:10974Issues:0Issues:0

TablaM

The practical relational programing language for data-oriented applications

Language:RustLicense:MPL-2.0Stargazers:184Issues:0Issues:0

monotonic_solver

A monotonic solver designed to be easy to use with Rust enum expressions

Language:RustLicense:MITStargazers:44Issues:0Issues:0

metabase

The simplest, fastest way to get business intelligence and analytics to everyone in your company :yum:

Language:ClojureLicense:NOASSERTIONStargazers:37084Issues:0Issues:0

itertools

Extra iterator adaptors, iterator methods, free functions, and macros.

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

dhall-lang

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:4165Issues:0Issues:0

dhall-haskell

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:901Issues:0Issues:0

boutique-misconfigurations

This repo showcases several various misconfiguration bugs that affect real world Kube/Istio users if those bugs were made on Google Cloud Platform's Online Boutique microservices demo.

Stargazers:3Issues:0Issues:0

polonius

Defines the Rust borrow checker.

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

kgt

BNF wrangling and railroad diagrams

Language:CLicense:BSD-2-ClauseStargazers:582Issues:0Issues:0

remacs

Rust :heart: Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:4577Issues:0Issues:0

libfsm

DFA regular expression library & friends

Language:CLicense:BSD-2-ClauseStargazers:915Issues:0Issues:0

toydb

Distributed SQL database in Rust, written as a learning project

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

serde

Serialization framework for Rust

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

proc-macro-workshop

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

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

datafrog

A lightweight Datalog engine in Rust

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