Companies similar to LEANPROVER.GITHUB.IO
Sign up to Download

1-30 of 4,900,420 results

  • lean-lang.org
  • 2
Lean is an interactive theorem prover developed at Microsoft Research, based on dependent type theory. Dependent type theory unites the worlds of programs and proofs; thus, Lean is also a programming language. Lean takes its dual nature seriously,..
Relevance: 32.057106
  • anders.groupoid.space
We want to mention here with homage to its authors all categorical models of dependent type theory: Comprehension Categories (Grothendieck, Jacobs), LCCC (Seely), D-Categories and CwA (Cartmell), CwF (Dybjer), C-Systems (Voevodsky), Natural Models..
Relevance: 21.891993
  • www.hallett-consulting.com
  • 1
I have been involved in manufacturing management for over 22 years. Since 1998 I have worked as a Management Consultant helping businesses improve their operations. I primarily work with companies who want to apply Lean Manufacturing and Theory of..
Relevance: 20.268261
  • www.linktheorytopractice.com
  • 1
  • 1
Link Theory To Practice provides funny, playful and practical games dedicated to learn Lean Six Sigma, 5S or SMED. Designed to involve learners, all games are process simulators and/or automated DIY machines. Learners are immersed in industrial..
Relevance: 19.96073
  • www.chrismastic.com
  • 1
Created and revised numerous Manufacturing SOPs, Program/Calibration/Test Fixtures, and workflows. Approved, Deployed and Streamlined manufacturing at facilities in the USA and in Asia for multiple products... Platforms and methodologies, dependent..
Relevance: 19.531746
  • www.leanmanufacture.net
  • 1
Lean Manufacturing or lean is a manufacturing term used to describe a manufacturing, industrial or service operation which operates with little or no type of muda (waste), thus making the operation very efficient and only consisting of value adding..
Relevance: 19.491093
  • www.thepeopleprocess.com
  • 1
  • 1
The PEOPLE Process� is a tool to evaluate psychological personality types, based on the personality type theory of Carl Jung. Jungian type theory is useful in understanding yourself and others in your relationships, your workplace, family dynamics,..
Relevance: 19.377148
  • www.itd.net.au
  • 2
  • 2
  • 1
The Institute for Type Development (ITD) was established in 1986 to promote understanding of Jung's Theory of Psychological Types and the responsible use of the Myers Briggs Type Indicator® (MBTI®). From 1986 to 2008 ITD was Australia's leading..
Relevance: 18.876507
  • www.bobbobuckley.com
  • 1
  • 2
Bobbo Buckley is a leading authority on Flow Manufacturing. Combining a liberal mix of Lean (remove waste) ,Theory of Constraints (remove bottlenecks) and Flow (keep it moving please) manufacturing methodologies, Bobbo works with small business..
Relevance: 18.701326
  • www.16types.com
The Center for Applications of Psychological Type (CAPT) is a very good resource for information about the MBTI® instrument... The first online marketplace for professional users of personality type. Resources for Understanding and Teaching the 16..
Relevance: 18.675318
  • www.marris-consulting.com
  • 3
  • 1
  • 1
Marris Consulting is an industry consulting and training company specialized in the Theory of Constraints (ToC) and Critical Chain Project Management. We focus on improving the performance of manufacturing and process industries by using Constraints..
Relevance: 18.659094
  • jyp.github.io
  • 1
I am a language specialist, with expertise in both natural languages, and the theory and practice of programming languages. I have both academic and industrial background... It is well-known that context-free languages can always be parsed in O(n..
Relevance: 18.51508
  • aperiuspartners.com
  • 1
Aperius Partners provides consulting services to clients in a variety of areas: Business Process Improvement (Lean / Six Sigma / Theory of Constraints) Business Strategy Program Project Management..
Relevance: 18.446356
  • www.ditchcurb.com
  • 1
  • 3
By working theory, it includes:Traction type vibrating forming type and Hydraulic squeezing paving type...
Relevance: 18.423841
  • rheosystems.com
  • 1
  • 1
  • 1
Strong foundation in Lean Manufacturing, Theory of Constraints, Six Sigma, Total Quality Management and hands-on implementations ensure that most of our projects pay for themselves within the first month... Below is listed the consulting services we..
Relevance: 18.393776
  • www.efyca.com
Our mission is to help our customers optimize efficiency and quality through the use of process improvement best practices, including Capability Maturity Model Integration, Lean Manufacturing, Six Sigma and Theory of Constraints...
Relevance: 18.366524
  • www.emsconsultinggroup.com
  • 2
  • 1
EMS Consulting Group is the leader in lean coaching, consulting and training. We help organizations by offering on-site and remote lean coaching, training, certification, and overall lean transformation... EMS has been an excellent partner in our..
Relevance: 18.365618
  • www.praxisflow.com
PraxisFlow is an Enterprise Service Design Orchestration firm focused on integrating the practices of the theory of constraints, lean methodology, and service design... PraxisFlow works with leading practitioners who are driving the evolution of..
Relevance: 18.239056
  • www.scrumresearchinstitute.org
Scrum is a framework for organizing work, based on timeless principals from Lean, and featuring most of what people equate with Agile development. The Lean foundations go back to the original paper by Takeuchi and Nonaka, "The New New Product..
Relevance: 18.084667
  • www.d9processimprovement.com.au
  • 1
  • 1
  • 1
At D9 Process Improvement, we specialise in continuous process improvement with Lean Six Sigma (LSS) at the core of our offerings. We utilise numerous methodologies including Six Sigma, Lean Manufacturing and Theory of Constraints... D9 Process..
Relevance: 17.845888
  • www.true32.com
  • 1
True32.com as well as True32 Corporation is committed to educating cabinetmakers about the True32 Flow Manufacturing system, Lean Manufacturing methodologies and The Theory of Constraints. We also provide products that support this systematic..
Relevance: 17.833298
  • ostuma.net
  • 1
  • 1
At Ostuma Consulting we aim to help our clients prosper. We use Lean Thinking as a fundamental guiding concept. We are inspired by the Toyota Management System... We are experts in BPMN (ISO-19510), theory of constrains, problem resolutions, BPM,..
Relevance: 17.612247
  • thejitcompany.com
  • 1
  • 1
  • 1
THE JIT COMPANY was founded in 2019, by Dumontis - a Lean consulting and coaching company that has been around since 2011. We are rich in practical experience, rooted in theory, engaging and inspiring... Our mission is to help you create and sustain..
Relevance: 17.466043
  • www.metisdesign.com
  • 1
  • 1
  • 1
Metis Design Corporation is a recognized leader in structural health monitoring, multifunctional materials and lean enterprise solutions . Fundamental theory, practical experience and creativity drive our approach. We deliver novel solutions for..
Relevance: 17.37221
  • www.theleansixsigmacompany.eu
  • 1
  • 1
  • 2
At The Lean Six Sigma Company, we emphasize third-party accreditations, specifically ISO accreditations, because they provide independent and unbiased validation of our quality. Additionally, they provide proof of adherence to international training..
Relevance: 17.279507
  • www.ingeniamp.com
  • 3
  • 1
  • 1
We have developed our own methodology for MRO based in Lean and Theory of Constraints (TOC) to obtain the best available maintenance performances... Ingeniamp offers excellent support combining data analysis with more than 20 years of aircraft..
Relevance: 17.039333
  • uwligroup.org
  • 57
  • 6
We are an electronic structure theory group focused on the development of time-dependent electronic structure theory, relativistic quantum mechanical techniques, and new methods for studying non-adiabatic dynamics of large-scale systems... For many..
Relevance: 16.948809
  • www.makingvalueflow.com
  • 1
  • 1
Six Sigma, Lean, Theory of Constraints, Agile, Scrum … Not knowing where to begin can be daunting, with several methodologies, dozens of principles and tools, and a stream of strange terms, it can seem complicated. We make the choices simple and the..
Relevance: 16.868141
  • cancade.com
  • 1
  • 2
Cancade CBI Limited is a Theory of Constraints company, utilizing key elements of Lean Manufacturing... Cancade Company Limited is an advanced manufacturing company, offering our award winning line-up of grain boxes, gravel boxes, trucks, trailers..
Relevance: 16.30054
  • www.leaninnovation.how
  • 2
Lean innovation offers an alternative route to innovation; a cost-effective, low-tech approach, it prioritises design thinking and agile experimentation to generate value-maximizing products and services, thus helping small businesses grow in spite..
Relevance: 16.247822