Similar Websites Search | Similar Sites Like Similar Websites Search | Similar Sites Like

Similar sites like idris-lang.org


Idris: A Language for Type-Driven Development

Idris: A Language for Type-Driven Development
Categories: Blogs/Wiki, Information Technology
Topics: a language for type-driven development, idris, idris dependent types, idris lang, idris language, idris programming language

Semrush Rank: 678,419
idris-lang.org
idris-lang.org Reviews


Sites similar to idris-lang.org - Top 44 idris-lang.org alternatives

idris2.readthedocs.io

idris2.readthedocs.io idris2.readthedocs.io           
Documentation for the Idris 2 Language — Idris2 0.0 documentation
Documentation for the Idris 2 Language — Idris2 0.0 documentation

Semrush Rank: 4,923,617
Categories: Technical Information, Information Technology
Similar? Yes 0 No 0
edwinb.wordpress.com

edwinb.wordpress.com edwinb.wordpress.com           
Private Site

Semrush Rank: 22,453,937
Categories: Blogs/Wiki, Personal Websites and Blogs
Similar? Yes 0 No 0
davidchristiansen.dk

davidchristiansen.dk davidchristiansen.dk           
David Thrane Christiansen
David Thrane Christiansen: Personal: david at davidchristiansen dot dk I want programming to be a creative dialog between human and machine. To do this, I work with advanced type systems, metaprogramming, and domain-specific languages. In particular, I'...

Semrush Rank: 5,305,138
Categories: Education/Reference, Information Technology
Similar? Yes 0 No 0
ejenk.com

ejenk.com ejenk.com           
Evan Jenkins - About
Evan Jenkins - About

Semrush Rank: 13,687,039
Categories: Education/Reference, Personal Websites and Blogs
Similar? Yes 0 No 0
nabilhassein.github.io

nabilhassein.github.io nabilhassein.github.io           
nabilhassein.github.io
nabilhassein.github.io

Semrush Rank: 7,533,458
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
deque.blog

deque.blog deque.blog           
Deque - Functions In - Fictions Out
Functions In - Fictions Out

Semrush Rank: 28,521,139
Categories: Technical/Business Forums, Information Technology
Similar? Yes 0 No 0
cabal.readthedocs.io

cabal.readthedocs.io cabal.readthedocs.io           
Welcome to the Cabal User Guide — Cabal 3.8.1.0 User's Guide
Welcome to the Cabal User Guide — Cabal 3.8.1.0 User's Guide

Semrush Rank: 361,208

Similar? Yes 0 No 0
corecursive.com

corecursive.com corecursive.com           
CoRecursive Podcast - The Stories Behind The Code
Welcome to CoRecursive. A Podcast where each episode someone shares the fascinating story behind a piece of software being built. Adam Gordon Bell is the host.

Semrush Rank: 3,214,999 Facebook ♡: 77
Categories: Marketing/Merchandising, Information Technology
Similar? Yes 0 No 0
edsko.net

edsko.net edsko.net           
edsko.net - Blog
edsko.net - Blog

Semrush Rank: 36,024,034
Categories: Travel, Information Technology
Similar? Yes 0 No 0
mmhelloworld.github.io

mmhelloworld.github.io mmhelloworld.github.io           
mmhelloworld
There is now an initial version for Idris 2 - 0.2.1 for the JVM. This is compiled from Idris 2 JVM bootstrap version. Changes: Compile initial Idris …


Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
gallais.github.io

gallais.github.io gallais.github.io           
index

Semrush Rank: 11,470,177
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
harfangk.github.io

harfangk.github.io harfangk.github.io           
Harfang's Perch
On software in general, with focus on Elm, Elixir

Semrush Rank: 16,478,046
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
jfdm.github.io

jfdm.github.io jfdm.github.io           
Home
I am a Research Associate at the School of Computing, University of Glasgow. My core research role is to investigate how we can leverage state-of-the-art advances in programming language theory to build more trustworthy systems. Current and past work has seen me look at bettering hardware design languages with resource-dependent typing to reason better about how circuits and modules are wired. I am now starting to shift my investigation to see how we can design better type-systems for high-level languages that take advantage of CHERI capabilities.

Semrush Rank: 33,166,476
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
euterpea.com

euterpea.com euterpea.com           
Euterpea – A Haskell library for music creation
Euterpea - A Haskell library for music creation

Semrush Rank: 5,799,172
Categories: Education/Reference, Information Technology
Similar? Yes 0 No 0
kowainik.github.io

kowainik.github.io kowainik.github.io           
main :: Kowainik
Kowainik website

Semrush Rank: 8,100,730
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
haskell-at-work.com

haskell-at-work.com haskell-at-work.com           
Home | Haskell at Work
Screencasts focused on practical Haskell programming.


Categories: Technical Information, Information Technology
Similar? Yes 0 No 0
brianmckenna.org

brianmckenna.org brianmckenna.org           
BAM Weblog
BAM Weblog


Categories: Forum/Bulletin Boards, Information Technology
Similar? Yes 0 No 0
leanprover.github.io

leanprover.github.io leanprover.github.io           
Lean

Semrush Rank: 637,429
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
katychuang.com

katychuang.com katychuang.com           
Katherine Y. Chuang, PhD - Home
Katherine Y. Chuang, PhD

Semrush Rank: 9,241,222
Categories: Personal Websites and Blogs
Similar? Yes 0 No 0
realworldhaskell.org

realworldhaskell.org realworldhaskell.org           

Visita la entrada para saber más.


Categories: Marketing/Merchandising, Business
Similar? Yes 0 No 0
type-driven.org.uk

type-driven.org.uk type-driven.org.uk           

Semrush Rank: 12,375,061
Categories: Not Rated
Similar? Yes 0 No 0
simonjf.com

simonjf.com simonjf.com           
Simon Fowler
Simon Fowler, Research Software Engineer at the University of Edinburgh

Semrush Rank: 12,377,954
Categories: Blogs/Wiki, ,Arts and Culture
Similar? Yes 0 No 0
typeclasses.com

typeclasses.com typeclasses.com           
Type Classes
Type Classes is a collection of courses and reference materials for learning Haskell.

Semrush Rank: 1,462,091 Facebook ♡: 1
Categories: Science/Math, Computers/Programming/Languages, Computers/Programming/Resources, Education/Reference, Information Technology
Similar? Yes 0 No 0
leeorengel.com

leeorengel.com leeorengel.com           
Leeor Engel - Thoughts on leadership, software development, productivity, and other random things
Thoughts on leadership, software development, productivity, and other random things

Semrush Rank: 36,439,393
Categories: Technical/Business Forums, Information Technology
Similar? Yes 0 No 0
ezyang.com

ezyang.com ezyang.com           
Edward Z. Yang
Edward Z. Yang

Moz DA: 46 Moz Rank: 4.4 Semrush Rank: 1,258,127 Facebook ♡: 0
Categories: Business, Education
Similar? Yes 0 No 0
ghc.readthedocs.io

ghc.readthedocs.io ghc.readthedocs.io           
Maze Found | Read the Docs
Maze Found | Read the Docs

Semrush Rank: 9,472,729
Categories: Technical Information, Information Technology
Similar? Yes 0 No 0
kodimensional.dev

kodimensional.dev kodimensional.dev           
kodimensional
Personal website and some blog posts

Semrush Rank: 10,754,214
Categories: Information Technology
Similar? Yes 0 No 0
thebreakfastpost.com

thebreakfastpost.com thebreakfastpost.com           
The Breakfast Post

Moz DA: 33 Moz Rank: 2.7 Semrush Rank: 4,515,780 Facebook ♡: 0
Categories: Computers/Software/Operating Systems, Computers/Multimedia, Personal Pages, Information Technology
Similar? Yes 0 No 0
hfm.io

hfm.io hfm.io           
Haskell for Mac IDE — Learn Functional Programming with Haskell
Haskell for Mac is an easy-to-use innovative programming environment for the programming language Haskell. It is ideal to learn Haskell and functional programming. It is also great to prototype and experiment with Haskell code.

Semrush Rank: 2,900,623
Categories: Software/Hardware, Information Technology
Similar? Yes 0 No 0
queertypes.com

queertypes.com queertypes.com           
❤ Queer Types ❤ - Home
❤ Queer Types ❤ - Home

Semrush Rank: 14,217,065
Categories: Blogs/Wiki, Business
Similar? Yes 0 No 0
arrow-kt.io

arrow-kt.io arrow-kt.io           
Arrow
Idiomatic functional programming for Kotlin

Semrush Rank: 1,676,839
Categories: Business, Information Technology
Similar? Yes 0 No 0
mmhaskell.com

mmhaskell.com mmhaskell.com           
Monday Morning Haskell
Monday Morning Haskell is a website dedicated to the Haskell programming language. The goal is to provide suitable material for beginners in Haskell, as well as showing some more real world applications of the language, such as machine learning.

Semrush Rank: 1,481,164
Categories: Education/Reference, Business
Similar? Yes 0 No 0
schoolofhaskell.com

schoolofhaskell.com schoolofhaskell.com           
School of Haskell | School of Haskell
School of Haskell | School of Haskell

Semrush Rank: 1,321,842
Categories: Education/Reference, Education
Similar? Yes 0 No 0
notamonadtutorial.com

notamonadtutorial.com notamonadtutorial.com           
This is not a Monad Tutorial
Lambdaclass's blog about distributed systems, machine learning, compilers, operating systems, security and cryptography.

Semrush Rank: 2,600,864
Categories: Blogs/Wiki, Information Technology
Similar? Yes 0 No 0
crufter.com

crufter.com crufter.com           
Home

Semrush Rank: 0
Categories: Blogs/Wiki, Information Technology
Similar? Yes 0 No 0
well-typed.com

well-typed.com well-typed.com           
Well-Typed - The Haskell Consultants
Well-Typed - The Haskell Consultants


Categories: Business, Information Technology
Similar? Yes 0 No 0
sitr.us

sitr.us sitr.us           
sitr.us
posts by Jesse Hallett

Semrush Rank: 5,698,076
Categories: Blogs/Wiki, Information Technology
Similar? Yes 0 No 0
andrej.com

andrej.com andrej.com           
Andrej Bauer
Andrej Bauer

Facebook ♡: 3
Categories: Personal Pages, Entertainment
Similar? Yes 0 No 0
oleg.fi

oleg.fi oleg.fi           
Oleg Grenrus - @phadej
Oleg Grenrus - @phadej

Semrush Rank: 37,885,330
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
stephendiehl.com

stephendiehl.com stephendiehl.com           
Home
Personal Blog

Semrush Rank: 2,716,008
Categories: Technical/Business Forums, Business
Similar? Yes 0 No 0
agda.github.io

agda.github.io agda.github.io           
Site not found · GitHub Pages

Semrush Rank: 4,919,374
Categories: Internet Services, Information Technology
Similar? Yes 0 No 0
chlipala.net

chlipala.net chlipala.net           
chlipala.net
chlipala.net

Semrush Rank: 3,622,155
Categories: Education/Reference, Information Technology
Similar? Yes 0 No 0
okmij.org

okmij.org okmij.org           
This FTP site
This FTP site


Categories: Software/Hardware, Information Technology
Similar? Yes 0 No 0
byorgey.wordpress.com

byorgey.wordpress.com byorgey.wordpress.com           
blog :: Brent - [String]
blog :: Brent - [String]


Categories: Sports, Web Hosting
Similar? Yes 0 No 0
Suggest Site to this list (idris-lang.org)
    Please only suggest if the website is similar. We do check suggested websites carefully and only approve if it's completely similar.
We'll never share your email with anyone else. You'll get a confirmation email.

idris-lang.org Reviews

No reviews have been made yet.
What is sitelike.org?

sitelike.org is a free tool to search and find Similar Websites, alternatives or related to the given site.
It helps you to find similar sites based on keyword overlap and shared audience.
Our team is manually checking and finding similar websites and also our visitors are helping us to find the best similar websites.
"Similar sites like" first finds the best and top keywords for all websites and rank them.
We also use our internal algorithm with analysing the website contents and also several web sources to determine the main topics of websites which are used to find similar websites that have the closest matching set of topics. Our ranking system uses user generated content created by our team, our visitors and also our algorithm.

0