Top 100 alternative sites to typedlambda.dev
Lambster - Lambda calculus interpreter
Lambster - an online lambda calculus interpreter
Author: Alec Minchington
Lambda One
We are a society which believes in technical excellence, knowledge sharing, and growing the functional programming community. Members of Lambda one give contracting services of the highest quality, tr
Lambda Bound in Three Ways
This Web-Site is dedicated to the Greek letter 'lambda', deriving it's symbolic meaning from Logos, Book Lambda and Lambda Calculus. Due to the dual symbolic meaning ov lambda the site contains pages on computer science as well as pages on religion.
Author: Georg Loczewski
Grant Jurgensen | Welcome to my site! I write about my interests in formal methods, functional programming, and type theory.
Welcome to my site! I write about my interests in formal methods, functional programming, and type theory.
Author: Grant Jurgensen
Lambda Calculus Calculator
Lambda Calculus Calculator supporting the reduction of lambda terms using beta- and delta-reductions as well as defining rewrite rules that will be used in delta reductions. Terms can be reduced manually or with an automatic reduction strategy.
Lambdulus
Online interactive tool for teaching lambda calculus and programming languages.
Get PDF The Parametric Lambda Calculus: A Metamodel for Computation
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of
Typed Logic
Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
Author: Geophf
Type Insights Program | Vicky Jo Varner Type Insights
Dr. Vicky Jo Varner will take you through her Type Insights program which explains in great detail how Jung's theory of psychological type works. Rather that just using the four letters of the MBTI code, this program expands on the eight cognitive processes.
Speiron - Home of λ /lambda/ ultra premium extra **** olive oil
λ /lambda/ is the first luxury olive oil in the world.
Home - Lambda-Blob
Learn functional programming concepts by example in small, useful projects like Window Management, Blogging and Setting Up Programming Environments.
Author: Malte Neuss
Space Vatican
I’ve been building a few things using lambda functions in ruby recently. Some of these are just standalone functions, some end up as more …
Author: Frederick Cheung
Musings on Software
Functional Programming enthusiast, slowly but surely gaining insight. Lambda Luminaries organiser.
Bloom Institute of Technology (formerly Lambda School)
Get the skills to land a job in the tech industry in BloomTech’s online programs (formerly Lambda School). Learn about our Tuition Refund Guarantee!
Typing Programs | Typing Agent
Typing Agent is the most powerful K-12 keyboarding and technology curriculum. Check out our exciting typing program features and engaging typing games!
Touch Typing (for Developers)
Practice your touch typing on simple automated functions
Types of Sentences Ultimate Guide | Types of Sentences
A comprehensive guide which covers 4 types of sentences based on function and 4 types of sentences based on structure along with examples.
Author: Types; Sajit
All Types Of Notes According Courses - Notes Bro
Get all types of notes according courses. Search your course and check all notes. All types of theory and practical notes are available here.
Author: Lalita Talukdar
Homepage - λ > Michael Lindon_
Statistics/Functional Programming/Data Science
Other sites like typedlambda dev
Meta-cedille blog | A blog about metaprogramming and dependent type theory.
A blog about metaprogramming and dependent type theory.
Author: Meta-cedille blog
ROBO Kids Typing Software
ROBO Kids Typing Software, a typing program for kids with learning difficulties
#1 K-12 Typing Program | Typing App for Schools and Parents
Type to Learn is the leading K-12 typing program for schools, classrooms and parents. Our scientifically researched typing app provides guaranteed typing results for your students.
Login - Typing Agent
Log in to Typing Agent, the most powerful online typing program for schools. Sign in and learn to type with a gamified K-12 keyboarding and technology curriculum.
What is Entrepreneurship- Definitions, History, Types, Process
Entrepreneurship is a series of learning activities which focus on the central functions of managing a firm. Definitions, History, Types, Process, functions.
Author: Sumit
Online Barcode Type Detector
Online Barcode Type Detector, check the barcode type, if you have a barcode, but do not know which barcode type it is, this online program can detect what type of barcode it is
ConvertDataTypes.comConvert data types programming in one click !
Webtool for Converting your data types easily programming stuff . ConvertDataTypes is the helpfull website for converting your data types in several programming languages.
StoneLang - StoneLang - JimStone(**** Xie)
StoneLang is a flexible and powerful dynamic typed programming languages , flexible and simple, object-oriented, multi- class inheritance, dynamic type, tuples and lists, closures and anonymous functions, Lambda expressions and multinational native language syntax support(Chinese, English, French, Russian and other foreign languages).
Author: JimStoneDong Xie
Undercase Type | Fonts
Undercase Type is the independent type foundry of Phaedra Charles and Flavia Zimbardi. They met while attending the Type@Cooper Extended Program at the Cooper Union, and have been collaborating since.
Bow
Bow is a library for Typed Functional Programming in Swift
beuke.org
A personal blog about functional programming, category theory, chess, physics and linux topics
Author: Fabian Beuke
Lettering & Type
More than just another pretty survey, Lettering & Type is a powerful and essential how-to book full of relevant theory, history, explanatory diagrams, exercises, and inspiring examples of contemporary lettering and typeface design.
Author: Bruce Willen; Nolen Strals; Princeton Architectural Press
Flying Bytes
Guides for Java/Kotlin, Functional Programming and All Things Android
Author: Nwuensche
Myers-Briggs Personality Type Tests and Articles
See our free personality tests, articles, links, and resources on Myers Briggs personality type, the MBTI ( Myers-Briggs Type Indicator ), the 16 Personality Types and Carl Jung's theory of psychological type. Applications of personality type to career, personal, and organizational development and interpersonal relations.
The Nice programming language
Nice is an advanced programming language that extends Java with parametric types, functional programming and more!
File Type Advisor
From time to time you can see files that are not associated with any program, and Windows cannot open them. File Type Advisor was created to help in this situation. This small program will provide you with a detailed description of every format in question and will recommend software to open or convert this file type.
Type/Code | Strategy, Design, & Development
Type/Code is a New York-based digital agency that designs and builds products, websites, apps, experiences, brands, and more. We collaborate with ambitious clients to bring powerful ideas to life. We find clever solutions to hard problems. We strive to make things beautiful, intuitive, functional, and effective.
Functional Vilnius - Home
Functional Vilnius is a meetup group for people interested in functional programming and type-driven developement, happening in Vilnius, Lithuania.
Ministry of Type
The Ministry of Type is a site about type, typography, lettering, calligraphy and other related things that inspire me. I am a designer, illustrator and front-end developer with over 20 years experience in web, print and identity and am based on the south coast of England. I love hand-tracing and recreating old designs as vector artwork, and there are many examples of that in this site.
Prasenjit Kumar Nag a.k.a Joy
Learning programming with C, functions were a very special thing for me in my early days. Though there were function pointers back then, didn’t …
Author: Joy Nag
What else typedlambda.dev alternative websites
ZIO · Type-safe, composable asynchronous and concurrent programming for Scala
Type-safe, composable asynchronous and concurrent programming for Scala
Nicolas Mattia
Software Engineer based in Zurich who has a thing for functional programming, reproducible builds and infrastructure as code
Data Voyage - Blog of Holger Peters
A personal blog on all things data-science and software engineering, with the occasional endeavours in functional programming
Author: HolgerPeters
40 Different Types of Engineering Degrees
Interested in the types of engineering degrees available? View the most in-depth list of engineering degree program comparisons & schools online.
Michael Snoyman - Strong Typing Advocate
Michael Snoyman's homepage, focusing on strongly typed programming and weightlifting. I'm a big fan of Haskell and Rust.
Author: Michael Snoyman
format.otf Type Foundry
We are format.otf — a small, independent type foundry, established in 2020. We are part of the design studio format.tif and we design typefaces for people who appreciate contemporary design, but value functional, usable typefaces.
Get All Type Of Nulled Paid Stuff For Free
Get all type paid thing for free such as php scripts, wordpress themes, paid blogger templates,graphics stuffs etc.
Author: Nulled Stuff
Beyond Type 1: Shop The Drop – Beyond Type 1 - Shop The Drop
Be a better diabetes advocate by wearing Shop The Drop! We are a program of Beyond Type 1, whose 100% of sales goes directly to the operational expenses of global efforts and programs working to educate and advocate for diabetes.
ADVENTprogram: medical education focused on Type 2 inflammation.
ADVENT is a medical education program designed to advance the understanding of Type 2 inflammation.
EXTEND | Preserving beta cell function with tocilizumab in new onset type 1 diabetes
Preserving beta cell function with tocilizumab in new onset type 1 diabetes
Uncapslock.com - trying to decode a text that was inadvertently typed in with CAPS LOCK active
A simple online tool that tries to reconstruct input that was typed in while the Caps Lock function was active
Complete Gift Card Systems for all types of businesses.
Complete gift card systems for all types of businesses. VIP, Loyalty and stored value card programs.
Creative Developer - alexandesigner
A Developer & Designer. Interested in css tricks, user experience, software architecture, functional programming and other things.
Author: Allan Alexandre
Learn and Teach Typing at TypingTraining.com
TypingTraining.com is an online typing tutor for anyone who wants to learn or teach typing. Whether you are learning to type on your own, a parent wanting to teach your children, or work at a school or company, TypingTraining.com has a solution to meet your needs. The site includes everything you need: a customizable training program, fun and interesting exercises, tutorials, typing games, and detailed reports. A free trial is available, allowing you to try out the web site at no charge.
Justin Kramer
Tech blog of topics that interest me - frontend development, functional programming, user experience, building cool things
Author: Jkk
Dale Guild Type Foundry
letterpress, foundry type, handset type, typography, Mainz, Gutenberg, Goudy, Victor Hammer, arts & crafts, private press, private press, fine printing, william morris, HOT STAMPING, BOOKBINGING, frederic warde relief printing, morrisian, movable type, Academic Programs with Working Presses, Centers for the Book, Working Printing Museums, ATF
Download Typing for Mac - Best Software & Apps
Download Typing Tutor for Mac. Free and safe download. Download the latest version of the top software, games, programs and apps in
BEST Ways for One Hand Typing, One Handed Typist, How To Type With One Hand and One Handed Keyboards for the One-Handed, About One Hand Typi
One Hand Typing and Keyboarding gives you current information for one handed typists and one hand keyboards. One-handed fully functioning keyboard using the normal Qwerty keyboard.
Cocktail Events and Glass Table Hire and Design for every type of Event
Cocktail and glass tables for hire for every type of function and event, corporate and other, in suitable venues throughout South Africa and Southern Africa.
Superscript² : graphic & type design
Superscript² : graphic design & type design studio based in Lyon. Co-founded by Patrick Lallemand & Pierre Delmas Bouly in 2006. We design posters, books, typefaces, global identity and many things...
Other websites similar as typedlambda.dev
- Yanze Li (李彦泽)
Yanze Li [CV] About I’m a first-year PhD student at UBC working with Alexander J. Summers and Ivan Beschastnikh. I’m interested in programming languages, program verification, and type theory. Befo
Author: Yanze Li funemy
Sourav’s Blog | My technical blog. Things I find intersting while working and learning. Topics are mostly iOS, Swift, flutter, firebase, rea
My technical blog. Things I find intersting while working and learning. Topics are mostly iOS, Swift, flutter, firebase, reactive + functional programming and programming in general.
Author: Sourav Ganguly
MBTI® Master Practitioner Credential Program - mbtiMasterPractitioner.org.
MBTI® Master Practitioner Credential Program recognizes practitioners who have a commitment to deeper knowledge of both type theory and the application of the MBTI® assessment.
Model Papers - Get all types of Model Paper, Question Papers, Sample Papers, Previous Year Papers, Guides, and Books from here for free.
Get all type of Model Papers, Question Papers, Sample Papers, Mock Papers, Guides and all type of things related to Education from here.
Author: February 1
Splash Lagoons Fun Parks provides a mobile wet 'n' wild type inflatable water park
Splash Lagoons Fun Parks provides a mobile wet 'n' wild type inflatable water park that will set your next function apart.
DiabeticManual – Learn How to Control Your Type-2 Diabetes v2 | Diabetic Manual
Leading diabetic nutritional program designed to give those living with diabetes the support needed to achieve normal, healthy function.
File Types | Software | Free Tools | Videos - FileProInfo
FileProInfo is the files information database of over 15,000+ file extensions and file types, software programs, free online apps and tools, videos and images and much more.
Habitual — Type 2 diabetes reversal and prevention
We're on a mission to end type 2 diabetes. Our 3-part program combines nutritional treatment with digital therapeutics, unlocking unparalleled weight loss and disease reversal.
Author: Steve Wheeler Apr 7
Mole-Traps.co.uk, suppliers of **** type humane mole traps.
Mole-Traps.co.uk, suppliers of **** type humane mole traps all are normally held in stock for quick delivery, the last thing you want when a mole visits is to wait weeks for the trap to arrive
Home | flatMap(Oslo) 2020
flatMap(Oslo) is a functional programming conference with focus on strongly typed languages. The next conference will be on May 14th and 15th 2020 in Oslo, Norway.
Some websites with similar theme to typedlambda.dev include:
:: (Bloggable a) => a -> IO ()
A programming and finance blog by Max Bolingbroke.
Alfredo Torre
The coding weblog of Alfredo Torre (aka sentenza)
Florian Latifi
Personal website and developer blog of Florian Latifi, researcher and PhD student at the Johannes Kepler University in Linz, Austria.
Hans Topo Blog
Infosec guy from Tenerife, Spain
MasahikoSawada
Masahiko Sawada’s home page
Author: Masahiko Sawada
UB3RSEC
A humble security addicts thoughts.
Virviil's development blog
This blog is a collection of articles in software development.
변두리 연구자의 공부 로그
프로그래밍, 수학, 리딩, 그리고 잡다한 이야기들.
Andrés Granbosque
Blog personal sobre literatura y ciencia. Soy programador informático y escribo.
Acta Non Verba
a blog about Web, Java, concurrency/parallelism.
More other alternatives for typedlambda dev
WordPlas
Ryan Plas on WordPress
Threos Operating System
Threos is a operating system designed from the ground up.
Author: Andras Nagy • email
Manish Pandit's Blog
A tech blog with gists, code, presentations, tutorials, and many goodies around programming, devops, cloud architectures, aws, google cloud platform, and infrastructure.
Author: Manish Pandit
sergey@[~/blog :master] $ ls
Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in your feed.xml site description.
Igor Popov
Igor's website, a place where he writes about software development.
alexthorne.io
Various practical expositions of topics ranging from web development to dev ops to functional programming.
Mrigank's Blog
Just another tech blog full of random exciting stuff;
tj michael
a game-developer's blog
The Little Calculist
Dave Herman's personal blog.
Joey Nelson
I am Joey Nelson and this is my website lol
Dovydas Venckus blog
Thoughts on java, linux and other geeky topics.
garmy.jp - garmy.jp
garmy's memo-pad / garmyのメモ帳
Iwasz
Personal blog of Łukasz Iwaszkiewicz known as Iwasz. Rants about stuf I'm working on mostly involving programming and electronics.
tlatsas.github.io
blog home
Ádám Tomkó's Blog
My personal website created to share my photos and software struggles with the world.
Oh my Swift
Swift is easy to learn, but difficult to master. I will be writing interesting articles about Swift and iOS development here.
Andy Lester's blog
Perlbuzz
News and notes about Perl 5
breno barreto
Hi there! My name is Breno and I'm a web development enthusiast and Senior Technical Writer at Nubank, currently based in Rio de Janeiro. Here I write about stuff that interest me, which typically revolves around content and software development - and how these things relate.
Lequn Chen || abcdabcd987
Lequn Chen, abcdabcd987, is a Ph.D. Student in the systems area of Computer Science at the University of Washington
serializethoughts
Serializing thought objects!