finds you similar websites
auto-suggest    top sites

Apr 28th, 2025

15 Popular Sites Like coq.inria.fr

Our technology has explored the net and spotted a lot of superb logic and coq sites like coq.inria.fr. Stop on by and find out about more webpages that are similar to coq.inria.fr.

Displaying 31 to 40 of 500 alternatives to coq.inria.fr. (Updated: Apr 28th, 2025)     [about these results]
Advanced Options
? Sort by:
popularity similarity
? Must Include:
? Cannot Include:
? Look For


Sponsored Links
 
You're looking for other sites like coq.inria.fr:
  The Coq proof assistant
No information avaiable
http://coq.inria.fr/
popularity:
logic
coq
programming
proof
math
software
mathematics
ocaml
tools
language
new search by a custom tag signature
  Python Programming Language -- Official Website
Official site for Python, a dynamic object-oriented programming language that can be used for many kinds of software development on a variety of platforms. ...
similarity:
popularity:
python
programming
language
development
opensource
reference
software
code
scripting
tools
  Automatically Tuned Linear Algebra Software (ATLAS)
[SourceForge ... At present, it provides C and Fortran77 interfaces to a ... If you download the software, it is critically important that you check the ...
similarity:
popularity:
math
library
programming
software
linear-algebra
numerical
fortran
mathematics
linux
optimization
  The Floating-Point Guide - What Every Programmer Should Know About Floating-Point Arithmetic
No information avaiable
similarity:
popularity:
programming
math
reference
floatingpoint
float
mathematics
development
guide
precision
arithmetic
  Open Source Scientific Library (C/C++, .NET, Excel)
Interative Open Source Numerical Library of C/C++ functions for Engineering, ... http://www.codecogs.com /d-ox/stats/dists/d ... Latest Reference Comments. Sun Jan 11 ...
similarity:
popularity:
programming
c++
library
math
opensource
code
c
mathematics
software
science
  AMPL Modeling Language for Mathematical Programming
No information avaiable
similarity:
popularity:
optimization
programming
software
modeling
ampl
mathematics
research
math
language
finance
  ChucK => Strongly-timed, On-the-fly Audio Programming Language
A strongly-timed, concurrent, and on-the-fly audio programming language ... chuck community | forum | wiKi. coast to coast mirrors: @Princeton | @Stanford ...
similarity:
popularity:
programming
audio
music
software
language
sound
opensource
code
chuck
tools
  UEStudio / UltraEdit / UltraCompare / UltraSentry - Text Editor, HTML Editor, HEX Editor, PHP Editor - News
Editor for text, HEX, HTML, and more.
similarity:
popularity:
software
editor
programming
tools
windows
ultraedit
text
development
utilities
texteditor
  GiNaC is Not a CAS
No information avaiable
similarity:
popularity:
c++
math
programming
mathematics
algebra
cas
software
library
symbolic
science
  Essential Math for Games Programmers
This year the topics focus on physical simulation, and the tutorial (now titled ... Lecturers in past years have included Lars M. Bishop, Jason Clark and ...
similarity:
popularity:
programming
math
physics
games
mathematics
tutorial
gamedev
reference
game
tutorials
  Bill the Lizard: Programming and Logic Puzzles
We all know that the daily grind of programming for a living can get a little tedious at times. ... Peter: Well see, they wrote all this bank software, and, uh, ...
similarity:
popularity:
programming
puzzles
logic
puzzle
math
coding
competition
list
games
interview
< prev ... 1 2 3 4 5 6 ... 50 next >
Sorting Results
  • This slider determines how the matched sites are sorted.
  • If you want to see the most popular sites that are somewhat related to your search, slide this more towards "popularity."
  • If you want to see the sites that best matched your search, regardless of popularity, slide this towards "similarity."
Must Include Tags
  • Matched sites will not be shown unless they have all of the tags on this list.
  • This feature is useful for when you require a site to have been tagged as something.
  • To add a tag to this list, click "add tag" or click on any tag in a result.
Must Not Include Tags
  • Matched sites that have any tag on this list will not be shown.
  • This feature is useful for filtering out results that have tags you are absolutely not interested in.
  • To add a tag to this list, click "add tag" or click on any tag in a result.
Types of Results
  • This option lets you specify the types of sites to show.
  • If you want to only see domains (www..com), select "domains only."
  • If you want to only see articles (www..com/something/here), select "articles only."
  • If you don't care, or care so much about both, select "Both".
About The Results
an example search result
How moreofit Searches
Each website has a unique tag signature -- a set of words that users have described the website as. Moreofit searches for websites that have similar tag signatures and displays the results.
1: Similarity
A site's "similarity" is determined by how well its tag signature matches the tag signature that is being searched for. A 100% match means that it has the exact same tags in the exact same order, while a 0% match means it has no tags in common.
2: Popularity
The popularity of a website is, well, pretty much self explanatory.
3: Tag Signature
The tag signatures show how a site is described. The deeper the color of the tag, the more frequently the website is tagged as this. Tags underlined blue denote a tag that is in common with the search's tag signature.