Skip to content
View demcgovern's full-sized avatar
33 followers · 311 following
  • Inter-State Studio
  • United States of America

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report demcgovern

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@raspofabs
fabs raspofabs
@MiniZinc
MiniZinc MiniZinc
MiniZinc is a free and open-source constraint modeling language

Australia

@CompSciCabal
CS Cabal CompSciCabal
@dart-lang
Dart dart-lang
Dart is an open-source, scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps.

United States of America

@jline
jline
@typelevel
Typelevel typelevel
We do functional programming together!
@scalacenter
Scala Center scalacenter
@open-feature
OpenFeature open-feature
Standardizing Feature Flagging for Everyone
@wingo
Andy Wingo wingo

Igalia, S.L.

@dave
Dave Brophy dave
@artifact-keeper
artifact-keeper
@ats-lang
ATS-LANG-ORG ats-lang
Of its own kind for unleashing the potentials of types and templates!
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@holistics
Holistics holistics

Singapore

@bpmn-io
bpmn.io bpmn-io
Rendering toolkits and editors for BPMN 2.0, DMN, and forms.
@starfederation
Star Federation starfederation
Uncomplicated tools to help web developers reach for the stars.

United States of America

@beancount
beancount
@embeddedgo
Embedded Go embeddedgo
@llvm
LLVM llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
@httpie
HTTPie httpie
Making APIs simple and intuitive for those building the tools, apps and technologies of our time.
@Shen-Language
Shen Programming Language Shen-Language
Shen Programming Language
@scylladb
ScyllaDB scylladb
ScyllaDB, the Real-Time Big Data Database

Distributed

@tmux
tmux tmux
tmux terminal multiplexer
@potassco
Potassco potassco
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam

Potsdam, Germany

@red
Red Programming Language red
Red programming language organization

Planet Earth (aiming for Mars)

@pizlonator
pizlonator
@opendlang
opendlang
@fyne-io
Fyne.io fyne-io
Developers of the Fyne cross-platform GUI toolkit
@DevToys-app
DevToys DevToys-app
Swiss Army knife for developers
@CachyOS
CachyOS CachyOS
Arch Linux Based Distribution With Heavy Optimizations & Multi-Architectures For Ultimate Desktop Experience

Germany

@opencaesar
openCAESAR opencaesar
Ontological Modeling and Analysis Platform
@apalache-mc
Apalache Model Checker apalache-mc
Apalache: symbolic model checker for TLA+ and Quint
@leanprover
Lean leanprover
Lean Prover
@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@ArtifexSoftware
Artifex Software ArtifexSoftware
@bbycroft
Brendan Bycroft bbycroft
@clojure
Clojure clojure
@jupyter-java
Jupyter for Java jupyter-java
Info on how to use java with Jupyter notebooks
@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@json-schema-org
JSON Schema json-schema-org
The organisation responsible for the Json Schema specification
@modern-pascal
Modern Pascal modern-pascal
Learning materials about modern Pascal, as implemented by both FPC and Delphi compilers
@fsharp
F# Software Foundation Repositories fsharp

The World

@ruby
The Ruby Programming Language ruby
Repositories related to the Ruby Programming language.

Japan

@jj-vcs
jj-vcs jj-vcs
@xmlsummerschool
XML Summer School xmlsummerschool
The XML Summer School is a unique event for everyone using, designing, or implementing solutions using XML and related technologies, held in Oxford, UK.

Oxford, UK

@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@dhh
David Heinemeier Hansson dhh

37signals

@nimble-code
nimble-code nimble-code
@CommunityVB
CommunityVB
@joshlong
Josh Long joshlong
Josh (@starbuxman) is the Spring Developer Advocate at Broadcom, an open-source hacker, book/video author and speaker

the Spring team (https://spring.io) San Francisco, CA