Skip to content
View dmatysiak's full-sized avatar
17 followers · 70 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report dmatysiak

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@lanl
Los Alamos National Laboratory lanl

Los Alamos, New Mexico, USA

@serpent-os
Serpent OS serpent-os
Home of Serpent OS development

International

@ocaml-bench
ocaml-bench
@blanchette
Jasmin Blanchette blanchette

Ludwig-Maximilians-Universität München Munich, Germany

@ocaml-community
OCaml Community ocaml-community
A collaborative, community-driven project for long-term maintenance of OCaml packages
@qua-platform
QUA Platform qua-platform
@QBayLogic
QBayLogic B.V. QBayLogic
@formal-land
Formal Land formal-land
Formal Verification for Web3
@finos
The Fintech Open Source Foundation (www.finos.org) finos
FINOS’ mission is to promote open innovation in financial services. See our full list of repos from our nearly 100 projects & 11 programs at finos.github.io
@tweag
Tweag tweag
Software Innovation Lab
@Z3Prover
Z3 Theorem Prover Z3Prover
@forked-from-1kasper
Siegmentation Fault forked-from-1kasper
Unskilled

Milky Way, Solar System, Earth

@mwand
Mitchell Wand mwand

Northeastern University Boston, MA

@rpucella
Riccardo Pucella rpucella
@ron-rivest
Ronald L. Rivest ron-rivest

MIT

@simple-haskell
simple-haskell
@Cuis-Smalltalk
Cuis Smalltalk Cuis-Smalltalk
@prismmodelchecker
PRISM Model Checker prismmodelchecker
Source code for the PRISM model checker and related projects
@edmcouncil
Enterprise Data Management Council (EDMC) edmcouncil
EDMC's Open Knowledge Graphs

New York

@NixOS
Nix/Nixpkgs/NixOS NixOS

Everywhere

@bloomberg
Bloomberg bloomberg

New York, NY

@mit-plv
Programming Languages and Verification Group at MIT CSAIL mit-plv

MIT CSAIL, Building 32–G8

@rescript-lang
ReScript rescript-lang
@huggingface
Hugging Face huggingface
The AI community building the future.

NYC + Paris

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@oxidecomputer
Oxide Computer Company oxidecomputer
Servers as they should be.

Emeryville, California

@tron-forum
TRON Forum tron-forum

Japan

@janestreet
Jane Street janestreet
@droitfintech
Droit droitfintech
We build mission-critical, breakthrough products advancing global regulatory compliance and real-time controls.
@plt
PLT plt

PLT Design

@mit-pdos
MIT PDOS mit-pdos
Parallel and Distributed Operating Systems group at MIT CSAIL

Cambridge, MA

@ocaml-wasm
ocaml-wasm
@MiniZinc
MiniZinc MiniZinc
MiniZinc is a free and open-source constraint modeling language

Australia

@redplanetlabs
Red Planet Labs redplanetlabs
Pioneering a programming tool that radically changes the economics of software development
@griffinbank
Griffin Bank griffinbank
The Bank as a Platform

London, United Kingdom

@awslabs
Amazon Web Services - Labs awslabs
AWS Labs

Seattle, WA

@LLNL
Lawrence Livermore National Laboratory LLNL
For over 70 years, the Lawrence Livermore National Laboratory has applied science and technology to make the world a safer place.

Livermore, CA, USA

@CERN
European Organization for Nuclear Research CERN

Geneva, Switzerland

@SWI-Prolog
SWI-Prolog SWI-Prolog
Comprehensive Prolog compiler and development environment

Amsterdam

@dylan-lang
Dylan Language dylan-lang
Developing the Dylan language implementation and libraries
@cisco
Cisco Systems cisco
Open Source Projects from Cisco Systems
@armedbear
armedbear
@sbcl
Steel Bank Common Lisp sbcl
@Clozure
Clozure CL Clozure
Clozure CL and related projects
@HoTT
Homotopy Type Theory HoTT
@coq
Coq coq
@leanprover
Lean leanprover
Lean Prover
@plfa
plfa
@idris-lang
idris-lang
@agda
Agda Github Community agda