majidaldo

majidaldo's Stars

• syncthing/syncthing

  Open Source Continuous File Synchronization

  Language:Go66.4k1k5.5k4.3k

• lensapp/lens

  Lens - The way the world runs Kubernetes

  22.6k2473.6k1.5k

• pyscript/pyscript

  PyScript is an open source platform for Python in the browser. Try PyScript: https://pyscript.com Examples: https://tinyurl.com/pyscript-examples Community: https://discord.gg/HxvBtukrg2

  Language:Python18.1k1738051.4k

• facebook/watchman

  Watches files and records, or triggers actions, when they change.

  Language:C++12.8k2597271k

• dagster-io/dagster

  An orchestration platform for the development, production, and observation of data assets.

  Language:Python12.1k1247.5k1.5k

• tilt-dev/tilt

  Define your dev environment as code. For microservice apps on Kubernetes.

  Language:Go7.8k391.5k309

• HypothesisWorks/hypothesis

  Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

  Language:Python7.6k701.6k588

• hylang/hy

  A dialect of Lisp that's embedded in Python

  Language:Python5.2k1181.1k372

• lark-parser/lark

  Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

  Language:Python5k57926420

• Instagram/MonkeyType

  A Python library that generates static type annotations by collecting runtime types

  Language:Python4.8k59186176

• ResidentMario/missingno

  Missing data visualization module for Python.

  Language:Python4k77134520

• dry-python/returns

  Make your functions return something meaningful, typed, and safe!

  Language:Python3.7k45414120

• beartype/beartype

  Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

  Language:Python2.8k1636158

• ldct/isicp

  Interactive Structure and Interpretation of Computer Programs

  Language:HTML1.2k4437161

• pschanely/CrossHair

  An analysis tool for Python that blurs the line between testing and type systems.

  Language:Python1.1k1516951

• opencog/atomspace

  The OpenCog (hyper-)graph database and graph rewriting system

  Language:C++83386608234

• dry-python/classes

  Smart, pythonic, ad-hoc, typed polymorphism for Python

  Language:Python682158925

• AlgebraicJulia/Catlab.jl

  A framework for applied category theory in the Julia language

  Language:Julia6222037058

• dbrattli/Expression

  Functional programming for Python

  Language:Python537355632

• gilch/hissp

  It's Python with a Lissp.

  Language:Python39877612

• JuliaSymbolics/Metatheory.jl

  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  Language:Julia3671312545

• vlasovskikh/funcparserlib

  Recursive descent parsing library for Python based on functional combinators

  Language:Python349205938

• Wattenberger/footsteps-vscode

  Keep your place when jumping between a different parts of your code. This is a vscode extension that will highlight lines as you edit them, fading as you move away.

  Language:TypeScript29862213

• asrp/flpc

  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language

  Language:Forth2211105

• ideonate/cdsdashboards

  JupyterHub extension for ContainDS Dashboards

  Language:Python20379437

• pythological/kanren

  An extensible, lightweight relational/logic programming DSL written in pure Python

  Language:Python18783818

• inducer/pymbolic

  A simple package to do symbolic math (focus on code gen and DSLs)

  Language:Python11172625

• Technologicat/unpythonic

  Supercharge your Python with parts of Lisp and Haskell.

  Language:Python926933

• shwars/mPyPl

  Monadic Pipeline Library for Python

  Language:Python67507

• Technologicat/mcpyrate

  Advanced macro expander and language lab for Python.

  Language:Python594403