Skip to content
View dmachay's full-sized avatar

Block or report dmachay

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
Showing results

A fast, user friendly ORM and query builder which supports asyncio.

Python 1,465 90 Updated Dec 1, 2024

Distributional Formal Semantics (DFS) tools

Prolog 18 1 Updated Oct 17, 2022

Model-rocketry aerodynamics and trajectory simulation software

Java 1,338 413 Updated Dec 18, 2024

A probabilistic approach from an Improbabilistic company

Java 149 33 Updated Mar 18, 2024

Ways of Working (WoW) with team principles, values, tenets, ground rules, aspirations, norms, working agreements, shared expectations, and group understandings

655 68 Updated Nov 18, 2024

TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.

C 3,208 296 Updated Mar 23, 2019

erlang tracing for the masses

Java 692 43 Updated Jun 21, 2023

An open-source C++ library developed and used at Facebook.

C++ 28,587 5,591 Updated Dec 18, 2024

A language and an embedded JIT compiler

C 1,173 109 Updated Dec 9, 2024

A boilerplate Go and AWS Lambda app. Demonstrates an expert configuration of 10+ AWS services to support running Go functions-as-a-service (FaaS).

Go 801 43 Updated Oct 9, 2018

A frontend Framework for single-page applications on top of REST/GraphQL APIs, using TypeScript, React and Material Design

TypeScript 25,118 5,273 Updated Dec 18, 2024

Bootstrap yourself to write an OS from scratch. A book for self-learner.

TeX 12,166 715 Updated Mar 26, 2024

Golang terminal dashboard

Go 13,234 787 Updated Jul 22, 2024

Create agents that monitor and act on your behalf. Your agents are standing by!

Ruby 43,968 3,811 Updated Dec 18, 2024
Eagle 46 12 Updated May 1, 2016

Recursive and authoritative DNS server in go, including DNSSEC and DNS-over-TLS

Go 1,617 80 Updated Jun 18, 2020

como-lang-ng is now ana-lang, located at https://github.com/analang/ana

C 342 36 Updated Aug 8, 2019

Automated creation of google compute disk snapshots and deletion of old ones

Shell 276 121 Updated Jul 6, 2019

GraphQL for Postgres

PLpgSQL 1,088 28 Updated Mar 30, 2017

PostgreSQL clustering with corosync/pacemaker test environment

Shell 123 12 Updated Dec 19, 2022

This is a scalable production version of NHIN Direct.

JavaScript 5 3 Updated Jan 19, 2022

Go package for CDA Document Handling

Go 7 5 Updated Mar 20, 2019

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Jupyter Notebook 16,952 4,228 Updated Aug 7, 2024

Share your terminal as a web application

Go 18,832 1,384 Updated Aug 1, 2024

Reactjs forms based on schema.

JavaScript 89 21 Updated Jul 3, 2017

Master the command line, in one page

154,079 14,584 Updated Jun 25, 2024

A minimal skeleton for building testable React apps using Babel

JavaScript 2,021 131 Updated Jul 31, 2018

A curated list of engineering blogs

Ruby 31,904 1,648 Updated Aug 21, 2024

🐦 ⚡ Bluebird is a full featured promise library with unmatched performance.

JavaScript 20,447 2,334 Updated Nov 7, 2024

Port of Dashing to node.js

JavaScript 319 151 Updated Dec 14, 2018
Next