Top 100 alternative sites to lambdulus.github.io
typed lambda λ→
All things lambda calculus, functional programming and type theory.
Lambster - Lambda calculus interpreter
Lambster - an online lambda calculus interpreter
Author: Alec Minchington
LEARN.ADACORE.COM — learn.adacore.com
An interactive learning platform to teach the Ada and SPARK programming languages.
Monster Coding - Fun Programming for Kids
Coding and programming lessons for all children and students, including videos and interactive activities teaching the basic terms needed to succeed in computer science. Includes a multilingual Hour of Code tutorial teaching programming in 8 languages.
Author: MonsterCoding com
WWW Interactive Multipurpose Server
interactive exercises, mathematical tools, interactive puzzles, teaching documents interactive exercises, online calculators and plotters, mathematical recreation and games
Featured Products
Your Baby Can Learn! is a multisensory, interactive program for babies and toddlers designed by an infant researcher to teach written, receptive, and expressive language skills.
Author: Angelo R
Matrix Calculus
MatrixCalculus provides matrix calculus for everyone. It is an online tool that computes vector and matrix derivatives (matrix calculus).
Author: Soeren Laue; Philipp Lucas
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
Inform 7
Inform is a natural-language-based programming language for writers of interactive fiction.
Author: Inform 7
Network Programming Initiative - Network Programming Initiative
The Network Programming Initiative supports research on languages, algorithms, and tools for network programming, and facilitates closer interactions with partners in industry and government. For more details, read our whitepaper pdf.
Author: Network Programming Initiative
Language Lab System | Digital English Language Lab Software
Digital Language Lab is an interactive language lab system and the best english language lab software for teaching and learning any language effortlessly.
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
Coyote's Guide to IDL Programming
A guide to IDL (Interactive Data Language) programming, example programs, and other resources.
Home - Omani Arabic
OMANI ARABIC Language Program Upcoming Courses »» Welcome to Omani Arabic Omani Arabic is a language program dedicated for teaching the Omani dialect and culture. Our aim is to help our learners to speak the Omani dialect and interact with Omani community. We want Arabic language learners to have a unique learning experience by learning...
International Chinese Language Teacher Program ∣ Beijing Language and Culture University
Begin your career in Teaching Chinese as a Foreign Language (TCFL) at Beijing Language and Culture University. Learn about out online International Chinese Teacher Training program.
Scratch - Imagine, Program, Share
Scratch is a free programming language and online community where you can create your own interactive stories, games, and animations.
Home
The Commission on English Language Program Accreditation (CEA) promotes excellence in the field of English language administration and teaching through the accreditation of English language programs and institutions worldwide.
Derivita — The Online Math Teaching Application
Derivita is the most advanced application for teaching math, online or in person. Simplify your algebra, geometry, trigonometry, and calculus instruction!
Learn Programming in hindi With AnTechs
antechs teaching programming languages in easy way so people understand programming is not that much hard that they think.
Author: AnTechs
Other sites like lambdulus github io
Magyaróra
we develop new tools to learn and teach the hungarian language
Enso | Get insights you can rely on. In real time.
Enso is an award-winning interactive programming language with dual visual and textual representations. It is a tool that spans the entire stack, going from high-level visualisation and communication to the nitty-gritty of backend services, all in a single language.
NM DEV| Mathematics at Your Fingertips Home
NM Dev is a java programming library of mathematics, with tools for linear algebra, calculus, statistics, differential equations and more for data science.
Author: Nic Santean
Building Communication Skills in English
Online, interactive English language programs for schools & colleges, individuals, and corporations from AmEnglish.com; reviewed and approved by ETS, maker of the TOEFL & TOEIC
IB Online Tutor | IGCSE Tutor | IB Tutor - Baccalaureate Classes
Baccalaureate Classes provides expert IB online tutor who uses various interactive teaching tools and techniques for an effective tutoring.
Unlimited Random Practice Math Problems | Studycounts
Ace your next math test with unlimited practice problems covering arithmetic, algebra, calculus, and more. A great study aid for students and teaching tool for educators.
Welcome to Active Thai - The Interactive Thai Language Learning Program
At Active Thai we provide an online interactive language learning experience that will teach you to speak, read, write, and understand Thai very well.
Online Ethical Hacking Tutorials, Concepts, Online Tools, Programming Languages, Programming Examples, Computer Network, software for
Online Hacking Tutorials, Concepts, Online Tools, Computer Network, Hacking Tricks and Softwares For Hacking. with programming languages and examples.
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.
DlangScience
DlangScience : Scientific tools and libraries for the D programming language
The European Profiling Grid - Eaquals
Find out about this tool for supporting the professional development of language teachers, access the interactive e-Grid in seven languages
Master's in ESL - Find Accredited MA-TESOL Degrees
What is ESL? – English as a Second Language describes public school and independent programs designed to teach English to speakers of other languages. ESL programs are taught by specialists who have passed tests such as the TESOL (Teachers of English to Speakers of Other Languages) and mastered the art of teaching vocabulary, sounds, and […]
Easy to use learn to read program, educational supplies, teaching tools and online activities.
Teaching tools for parents and teachers helping children excel in learning to read, English and maths with unique worksheets and online interactive activities.
LearnIDL
This web site is about learning to program with IDL - Interactive Data Language.
CalcChat.com - Calculus solutions | Precalculus Solutions | College Algebra Solutions | Calculus Help | Precalculus Help | College Algebra H
CalcChat.com is a moderated chat forum that provides interactive calculus help, calculus solutions, college algebra solutions, precalculus solutions and more.
Author: Ron Larson
WELCOME TO AMERICAN ACADEMY FOR TRAINING COURSES (AATC)
American Academy (AATC) is a language, Management,IT &Teaching programs Provider with internationally and ISO accreditation and offers international programs .
Exemplary Center for Reading Instruction (ECRI)
ECRI is a program that teaches elementary and secondary teachers (grades K-12) how and what to teach in reading and language arts instruction.
Author: Exemplary Center
tomGER's Blog
Interesting stories about programming languages, libraries, tools and much more.
Home - Stories that Move
An interactive online teaching resource against discrimination. Try out this free tool designed by the Anne Frank House and partners. Ready for distance learning.
ESL Librarian
A website for English Language teachers looking for free, easy and effective teaching tools.
Author: Marianne
What else lambdulus.github.io alternative websites
Softronics Inc. – An education Software Company
MSWLogo An Educational Programming Language MSWLogo was created by George Mills and Brian Harvey in an effort to give teachers an inexpensive tool to teach programming concepts to all ages. Powerful - MSWLogo brings the power of Windows and Logo together. 3D – Now
Author: Softronix Gt
Python Academy - The Python Training Specialist
We are specialized in Python teaching. Regular training courses for the programming language Python.
Author: Mike Müller
C# Naija
C# Nigeria is a blog on C# programming Language. C# Nigeria teaches aspiring developers to be software engineers
Author: Visit profile
Ideone.com
Ideone is something more than a pastebin; it's an online compiler and debugging tool which allows to compile and run code online in more than 40 programming languages.
langui.ch ⇨ /'læŋgwɪtʃ/ ⇨ /'læŋgwɪdʒ/ | Collection of resources: corpus linguistics, e-learning, natural language processing, teaching Engli
Collection of resources: corpus linguistics, e-learning, natural language processing, teaching English as a foreign language and tools related to these topics
NSLI For Youth Interactive
NSLI-Y Interactive showcases language learning and cross-cultural experiences of students on the National Security Language Initiative for Youth program
PLC Simulator Online. A tool for learning Ladder Logic programming.
Programmable Logic Controller Simulator Online. Available on PC and Mobile devices! A great tool for learning and teach Ladder Logic programming.
FluidCoding
Fluid Coding, Coding Simplified. Programs, Examples, Tutorials, Tools for all popular programming languages.
Author: Brian Sonnie
Home - Lingualift
Learn a new language See the world in a whole new light What makes us different? LinguaLift teaches language for the real world, real conversations. We give you the plan, the tools, and guide you every step of the way. It’s not just an app, it’s a complete language learning program. The LinguaLift Method Tutor […]
Latest Posts – Geek Dirt
A blog on different Computer Science Technolgies,Programming Languages and Tools.
The Podcast at Delphi.org – The Podcast about the Delphi programming language, tools, news and community.
The Podcast about the Delphi programming language, tools, news and community.
Author: Post author By Jim McKeeth
Turkish Class
Free interactive online Turkish language lessons.
S2JS
An educational tool that teaches Javascript coding to kids who have programmed in Scratch.
Author: Ian Davies
YogaWall.in - Do Programming Now
Yoga Wall is all about Programming Languages . We Teach People how to do Coding and Programming. So Come and Join Yogawall Now.
Author: Yogawall
MathsBot.com - Tools for Maths Teachers
Interactive tools and activites to aid the teaching of mathematics. Hundreds of randomly generated questions and answers.
Author: Jonathan Hall
Mimo: Learn to Code
Mimo is a platform that teaches programming, HTML, CSS, JavaScript, Swift, and more through gamified and interactive lessons on the go.
Atlanta Institute of Language: Learn from Native-Speakers
School teaching Group Classes, Private Lessons, Online Courses, Tutoring, Dialect-Coaching, Corporate Programs designed to best fit your foreign language needs.
TIMEMAPS™ Online Personal Financial Literacy Curriculum
Personal Financial Literacy Program for High Schools, Colleges, or Homeschooled Students. Interactive online financial educational program for teaching personal money management and critical life skills related to financial literacy
FirstVoices
FirstVoices is a suite of web-based tools and services designed to support Indigenous people engaged in language archiving, language teaching and culture revitalization.
Macmillan English CampusMacmillan English Campus - THE online learning platform for English language teaching and practice
THE online learning platform for English language teaching and practice
Other websites similar as lambdulus.github.io
K | Runtime Verification Inc
Design and implement your programming language and software analysis tools with mathematical rigor.
Author: K; Runtime Verification Inc
HmongKids - See ~ Learn :: Play ~ Remember
Hmong Kids, Learning Games, Hmong Language, Interactive Learning, Hmong Books, Learning Tools
Home - Ejectamenta
Welcome to my interactive web technology website. The online HTML5 apps on this site comprise puzzle and music apps, as well as technical tools for image processing, education and language learning.
We Just Completed 500 assignments in past week
Programming Online Help is the best online site for programming assignment and homework help which includes the programming languages such as Java, Python, C++, Matlab, Prolog, R, Ruby among other key programming languages.
Author: Gabriel Denis
Learn Programming Online | Online Programming Practice | PrepBytes
Learn Programming Online, Online Programming Practice, Best Online Learning Sites for Programming, Best Online Programming Courses, Learn Programming Languages Online
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
Spanish Language School
Spanish language school for individuals who are serious about learning Spanish. American owned Spanish Language School, specialized in teaching the Spanish language and its culture through a total Spanish immersion program.
Author: Spanish Language School
Study Spanish in Mexico - Study Spanish Language School
Spanish language school for individuals who are serious about learning Spanish. American owned Spanish Language School, specialized in teaching the Spanish language and its culture through a total Spanish immersion program.
Author: Spanish Language School
Teachers Lesson Plans - Wikipedia for Teachers - Online Learning Platform
Teachers Lesson Plans, best online teaching tools. Lesson Plans & Resources for Teachers. Application for Learning Management Online and best tools for online teaching.
Creative Teaching Activities and Ideas
creative teaching activities, teaching ideas, teacher resources, lesson plans, educational tools, downloadable printables, online teaching tools, aids
Author: Rajesh Kouluri
Some websites with similar theme to lambdulus.github.io include:
Skvělé ikony – česká lokalizace FontAwesome.com pro uživatele a vývojáře
Česká lokalizace oficiální sady ikon FontAwesome.com pro běžné uživatele a vývojáře.
Author: WEBNIA s r o
Font Awesome
FontAwesome.cc offers a quick searchable reference (lookup) table of Font Awesome icons.
All Icons | v5.15.4 | FontAwesomeLib.cn 字体图标库
专业的Fontawesome字体图标库网站,集齐各版本数据,清晰明了的分类导航,简单易用的搜索功能,展示每个图标的风采。
Dashboard | Announcment Bar Maker
صفحه اصلی - SADRA
مدیریت هوشمند تونل و بزرگراه محصولات پارکینگ هوشمند خدمات مشاوره و طراحی
Производитель тротуарной плитки и бордюрного камня в Ярославле — Стимул-Плит
Компания изготовитель «Стимул-Плит» изготовит под заказ: тротуарную плитку, бордюрный камень различных размеров и цветов по низким ценам в Ярославле.
PC Vision – IT Equipment Supplies, Computer and Apple Mac Repairs
Author: Admin
Avocat Ana-Maria DRAGAN – avocat Iasi
Accueil - Safran de Vaulogé
Culture / Vente de Safran et de produits à base de Safran en Sarthe (72). Boutique en ligne avec paiement sécurisé.
Home - OxigenCL
More other alternatives for lambdulus github io
audea.io - Spoken Word Audio
Listen to podcasts, create speaking albums, and search for any type of audio idea in the world.
QuickHash GUI Official Home Page - download one of the worlds best known cross-platform and open-source data hashing tool
Welcome to the Best cPanel Web Hosting and IT Services
Are you looking for the UK's Best Web Hosting provider? cPanel Web Hosting and cPanel Reseller Hosting with SSD, Litespeed and Backups as standard. Managed VPS Servers with free snapshot backups!
Framacalc - Online collaborative spreadsheet
Online collaborative spreadsheet
Безплатни обяви, topsdelka.eu, обяви имоти, продава, коли, услуги...
Недвижими имоти, Автомобили и авточасти, Eлектроника, Мода, За бебето и детето, Дом и градина, Свободно време, Домашни любимци, Услуги, Работа, Екскурзии и почивки. Тук може да намериш интересни обяви и лесно да се свържеш с продавача.
Generic Cialis (Tadalafil) For You
Generic Cialis Online - Guaranteed lowest prices. Worldwide delivery (1-3 days,track).
WehostClub- Website,Hosting,Servers, Domains,Design,Development
WehostClub- A Leader Of Web Hosting & Software Development Company
Reliable Source Music - Production Music Library
Production music for television, movies, trailers, advertising & more!!! Our multi genre music library contains over 100,000 stock music tracks with one stop licensing.
Author: Done
up ảnh miễn phí, upload ảnh nhanh online - không cần tài khoản (Tiếng Việt)
UpAnh.tv, up ảnh miễn phí, upload ảnh nhanh online - không cần tài khoản (Tiếng Việt)
Freefoto.ca
Free Image Hosting and Sharing Service. Upload Image and Get Link. Provide integration to Upload Images to the Forums. 20 mb image upload limit.
iPhoto - Free image hosting
A free image hosting service powered by iPhoto.net
Free Image Hosting
Free image hosting. Support 20mb per image, share gif on Facebook, jpg, png
pilt.io - Tasuta pildihosting
Mugavaim ja kiireim viis jagada oma pilte!
imgZ.io - ฝากรูปฟรี อัพโหลดรูป ไม่มีลบ — Upload Image
เว็บบริการ ฝากรูปฟรี อัพโหลดรูป รองรับไฟล์ทุกประเภท .webp .jpg .png .bmp .gif สูงสุดถึง 32 MB ต่อไฟล์รูป พร้อมอัลบั้มรูปส่วนตัว ไม่เสียคุณภาพ ใช้งานได้ตลอดไม่มีหมดอายุ ฟรี
photo-album.at - Bilder kostenlos hochladen und teilen
Kostenlos Bilder und Fotos in Originalqualität ohne Anmeldung hochladen und teilen. Mit Anmeldung können Sie Fotoalben erstellen und für Personen freigeben.
ฝากรูป ฝากไฟล์รูป เว็บฝากภาพ อัพโหลดรูป ไม่มีหมดอายุ
บริการ ฝากรูป อัพโหลดรูป ได้สูงสุดถึง 10 MB ต่อไฟล์รูป พร้อมอัลบั้มรูปส่วนตัว ไม่มีหมดอายุ ฝากรูปได้ทุกประเภท .jpg .png .bmp .gif ฟรี!
Der Bilder Hoster
Bilder bis 100 MB hochladen und teilen.
Hızlı Resim yükle ve Kolay Paylaş
Ücretsi Resim Yükleme Servisidir. JPG, PNG, GIF ve BMP formatlarında resimler yükleyebilirsiniz.
imagelli.com - Free Image Hosting and Community
A free image hosting service. Create albums and share images. Photo editor online and free photo sharing.
Author: Dipdive net
Hızlı Resim Yükle, Resim Upload
Imagets.com ücretsiz resim yükleme sitesidir. Resimlerinizi yükleyebilir internette arkadaşlarınızla paylaşabilirsiniz.
free photo hosting - photo uploads - unlimited image hosting
Provides free photo upload and hosting integration for forums. Free picture hosting and photo sharing for websites and blogs.