Companies similar to POLEIRO
Sign up to Download

1-30 of 5,979,094 results

  • www.poleiro.info
This is a blog about the Coq proof assistant and programming language. With Coq, it is possible to develop programs, write a specification capturing their intended behavior, and prove that the specification is satisfied. That proof is then checked by..
Relevance: 40.44267
  • formal.land
  • 1
Our technology is used by the crypto-currency Tezos to formally verify its implementation. We believe Tezos to be the first crypto-currency with a process of formal verification of its implementation, making it one the safest decentralized..
Relevance: 23.278545
  • www.patrykczarnik.net
Patryk Czarnik is an IT expert, software developer, academic teacher and trainer. Visit card..... Although my activities are miscellaneous, I identify myself primarily as a programmer. Working with code, as an author, teacher or reviewer, I pay a..
Relevance: 22.153292
  • softwarefoundations.cis.upenn.edu
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software... The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each..
Relevance: 21.462229
  • www.mhrb.org
  • 8
  • 2
  • 17
MHRB is one of 50 Boards that make up Ohio Association of County Behavioral Health Authorities, a trade association for Ohio's Alcohol, Drug Addiction, and Mental Health (ADAMH) Boards. The association awards Culture of Quality Certification (COQ) to..
Relevance: 21.444628
  • www.coqrestaurant.com
  • 1
  • 1
Coq was founded in 2020 by two brothers after the success of their food truck "The Coq Au Van". Both Will & Ollie have an ingrained drive to provide only the best tasting burgers coupled with a friendly and inviting service. We offer takeaway or dine..
Relevance: 19.65926
  • www.coq-equipment.com
  • 2
Pera-Pellenc has been dealing with Coq equipment for many years : continuous presses, hydraulic presses, dejuicers, crusher-pumps. Pera-Pellenc provides the spare parts corresponding to the Coq displays as well as the maintenance and the..
Relevance: 19.600195
  • www.lecoqepicier.co.uk
  • 1
  • 1
Le Coq Epicier is a French fine epicerie located in central London that has selected for you high quality products from french producers... At Le Coq Epicier we promote the 100% French, because French food c'est la vie ! We promote the small..
Relevance: 19.47194
  • distributedcomponents.net
Building reliable distributed systems is challenging for many reasons. Such systems must tolerate faults gracefully: machines may crash, new nodes may suddenly join or leave the system, and the network may drop, reorder, or duplicate packets...
Relevance: 18.580612
  • www.restaurantlecoq.fr
  • 2
Located on Place du Trocadéro, a few steps from the Eiffel Tower, Le Coq restaurant offers sophisticated French cuisine. The restaurant, open continuously, from breakfast to dinner served until late, welcomes every day of the year, without any..
Relevance: 18.525627
  • cafeobj.org
  • 2
CafeOBJ is a most advanced formal specification language which inherits many advanced features (e.g. flexible mix-fix syntax, powerful and clear typing system with ordered sorts, parameteric modules and views for instantiating the parameters, and..
Relevance: 17.757038
  • www.lecoqphoto.com
  • 1
  • 1
Along with his work as a photographer and branding consultant, John Land Le Coq (Johnny) is the founder and CEO of Fishpond, Inc. As one of the world's most respected brands of fly fishing and outdoor gear, Le Coq has designed each product since the..
Relevance: 17.213148
  • www.lillekulahotel.ee
  • 1
  • 3
Lillekula hotel is a cozy hotel, located in the quite place in the Tallinn City Centre only 10 minutes walk from the Tallinn Old Town, Alexander Nevsky Cathedral and 200 m from A Le Coq Arena stadium...
Relevance: 16.797638
  • frenchlunch.ca
  • 1
  • 1
Not a fan of microwaving? Don't worry; we've got you covered. French Lunch dinners are oven-ready meals. Our dinner menu offers French culinary classics like escargot, potato au gratin, coq au vin, beef provençal, ratatouille, crêpes Suzette,..
Relevance: 16.665989
  • www.catering-stmaarten.com
  • 1
  • 3
The answer might be as simple as a traditional French treat such as coq au vin or a crispy Duck à l'Orange cooked to perfection by your French personal Chef Max...
Relevance: 16.407063
  • www.brasscableglands.com
  • 1
With the strong team of engineers and years of experience, We are a leading provider of wide range of Brass Cable Glands , Brass Cable glands accessories, Brass Neutral links & Bars, Brass Fasteners, Brass Electrical and Earthing accessories and..
Relevance: 16.075226
  • www.visualperformance.us
  • 1
Visual Performance, LLC is engaged in the engineering, research, development, specification, and testing of advanced display and imaging systems. The consultancy's president, Charles Lloyd, is a systems engineer and applied vision scientist with 27..
Relevance: 15.90282
  • www.proof-technologies.com
  • 1
Proof Technologies Ltd specialise in cutting-edge mathematical proof software for the software industry and academia. We also provide professional consultancy services in safety-critical software development and functional programming... We believe..
Relevance: 15.885158
  • www.gabriellacroix.com
  • 1
I'm a McGill software engineering student who's curious about most things that surround him. I'm currently learning the following: machine learning, HDLs, x86 assembly, how to write compilers, Coq, and Mandarin Chinese... I'm interested in..
Relevance: 15.702348
  • shop.lecoqporcelaine.it
  • 1
  • 2
LE COQ products are highly regarded for the quality of the materials and above all for the innovative designs and decorations that characterize and distinguish each line... The headquarters of ILSA s.r.l. is located in Collegno, Turin. The building,..
Relevance: 15.65637
  • www.coqaumiel.com
  • 1
  • 1
"Coq Au Miel" was established in 2021 in West Island, Montreal, Canada, with the ambition to introduce the most popular and globalized food of Korea to Canada... We take pride in sourcing high-quality halal meat from trusted suppliers. Our..
Relevance: 15.598365
  • aquaproofsystems.com.au
  • 1
  • 1
With over 15 years Experience, We provide Consultancy services in Remedial Waterproofing as well as Seamless flooring applications... Aqua Proof Systems specialises in Waterproofing and Seamless Epoxy Flooring solutions. We have the solution to your..
Relevance: 15.289278
  • www.alecoq.ee
  • 121
  • 116
  • 109
A. Le Coq is an innovative food industry company that incorporates high-tech solutions in its operations and continuously develops its production to be more environmentally friendly and resource-efficient. The company has also obtained support from..
Relevance: 15.172934
  • www.acl-gb.com
  • 2
  • 1
ACL develop Controls Architectures that give security and productivity with future proof data availability. We understand the challenges of industry 4.0 systems and aim to exceed customer expectations... With device simulation at the heart of our..
Relevance: 14.940352
  • kaiserjohnson.com
  • 1
  • 2
Kaiser & Johnson Inc. manufactures custom-size wooden shipping containers and pallets for light to medium loads, as well as for oversized and heavy loads. We also manufacture MIL-SPEC boxes & pallets in accordance with the required federal or ASTM..
Relevance: 14.81047
  • bllighting.com
  • 1
  • 3
  • 1
Providing innovative lighting solutions since 1986, BL Lighting manufactures specification-grade architectural lighting with a focus on dynamic, high performance, and sustainable, fiber optic, linear lighting, LED systems, and controls... We provide..
Relevance: 14.735648
  • valuepointaccounting.com
  • 1
  • 1
A goal of Value Point Accounting is measuring ROI (return on capital) for each value point. Determining total cost and investment for each value point is a challenge. Typically this requires the use, in whole or in part, of several financial..
Relevance: 14.733149
  • streif.co.uk
  • 1
  • 3
  • 8
Today, Streif is a leading timber frame solutions provider in the UK, capable of covering the whole process in house, from design and specification to manufacture and build. However, the company's origins stretch back over 90 years across the channel..
Relevance: 14.691788
  • www.bluefabrics.com
  • 1
  • 2
Blue Fabrics is a supplier of woven fabrics as well as garments to export industry. This is largely through association with the leading fabric & garment manufacturers of China. The company has a good association with the Chinese textile industry. A..
Relevance: 14.67956
  • ducsbistro.com
  • 1
Indulge in the fusion of Vietnamese and French cuisine, where every dish is crafted with fresh, locally sourced ingredients and traditional techniques. At Duc's Bistro, we pride ourselves on bringing together the best of both culinary worlds,..
Relevance: 14.636649