474 Open source projects that are alternatives of or similar to Typology

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A PEG Parsing Tool

A simple runtime JSON type checker.

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

A semantic external parser for XML files that can be used together with GMaster, PlasticSCM or SemanticMerge. Supports various XML formats, such as the Visual Studio project format.

🧊 Модальний Гомотопічний Прувер

Runtime type annotations for CoffeeScript (and JavaScript too!)

Type System for Data Analysis in Python

Runtime Extended Inference for json data.

Module for developer and debug tools for use with laminas-mvc applications.

A cli tool to check your site for mixed content

Tool for rapid deployment of selected features of your web application to isolated testing or demo environments.

Setup your projects in a consistent way. Help other devs onboard easily!

Easy, configurable API mocking you can change on-the-fly

Don't install Node, Go, ... locally - use containers you define within your project. If you have a new machine / other contributors you just have to install docker and envcli to get started.

A WIP CLI tool that manages stacked pull requests. Using stacked PRs is now (many small) pieces of cake

👾 Sokoban Game in Pure TypeScript Type System

strings file tool for iOS / macOS developers

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Probabilistic Type Inference using Graph Neural Networks

Shipr Social is the Multi Platform Chat Project for Developers

Chrome extension to copy hostname of the current tab to your clipboard.

My personal app/env configs and dotfiles.

Implementing a complete Compiler for a simple C-like language using the C-tools Flex and Bison

Decorator which checks whether the function is called with the correct type of parameters.

Because language shouldn't be a barrier to code

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

👾 All I need to setup a new Mac and the applications I use everyday as a Web Developper

Quickly set up a Ruby on Rails app on Nanobox, the ideal platform for developers. With Nanobox, Rails app developers can set up instant, isolated development environments that can be shared among team members. Rails apps created using Nanobox can be automatically deployed to AWS, Azure, Google Cloud, and other cloud hosts without the need for de…

Temporary edit external crates that your project depends on

CLI to sync transactions and Truffle artifacts with Ethernal.

Automation/Testing tool for Embedded Linux Development

Cicada Language

Audion is a Chrome extension that adds a Web Audio panel to Developer Tools. This panel visualizes the web audio graph in real-time.

shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)

AutoBrew: Homebrew deployments made easy

Wikipedia-based Explicit Semantic Analysis, as described by Gabrilovich and Markovitch

A local Docker Environment for building PHP applications 🔨

TypeDB: a strongly-typed database

Humanitarian ubiquitous language helper

A Python library for variable type checker/validator/converter at a run time.

⛵ A no-frills local development tool for service developers working in Kubernetes

A pure functional type-inferred language based on JavaScript

JENKINS-47498: allow plugin dependencies to be specified via BOM

An api-driven, in-kernel layer 2/3 load balancer.

PHPStan based SQL static analysis and type inference for the database access layer

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

(v0.2) Even Batman needs a little help. Task runner. Automator. Build system.

Stubs of common micropython modules to aid in code completion, static typechecking and overall development

Visual Studio Code extension for wordup that makes it easy to develop, manage and export WordPress plugins or themes.

A compiler that accepts any valid program written in C. It is made using Lex and Yacc. Returns a symbol table, parse tree, annotated syntax tree and intermediate code.

Redact Git author and committer dates to keep committing behaviour more private.

android-trinity is tiny proactive framework with much of the scaffolding code required to start a new Android Application.

A macro for defining type operators in Rust.

Engine for running Node.js apps on Nanobox

An editable C# REPL (Read Eval Print Loop) powered by Roslyn and .NET Core

A collection of PLT researching

Algorithm W and Algorithm M in F#

Projectpad allows to manage secret credentials and server information that you need to handle as a software developer or sysadmin.

Time-traveling debugger for Svelte applications