miniKanren

Engineering Software · 11-50 Employees

View Company Info for Free

Overview

Revenue

<$5 Million

Industry

Engineering Software Software Training Education
ZI Rank: 1
Signal Type
Jan
Feb
Mar
Apr
May
Jun
ZI Rank
1
1
1
1
1
1

About miniKanren

miniKanren is a family of Domain Specific Languages designed for logic programming, originating from a Japanese term meaning relation. The core language is simple, featuring three logical operators and one interface operator, and has been implemented in various programming languages including Scheme, Racket, and Python. It is intended for developers and researchers interested in logic programming, offering extensions for Constraint Logic Programming and probabilistic logic programming. The platform also hosts workshops and online courses to engage participants in miniKanren projects and discussions.Explore more
miniKanren's Social MediaPopular SearchesminiKanrenminiKanren Online UncourseSIC Code 73,737NAICS Code 51,513Show more

miniKanren Org Chart

PhoneEmail
WB

Maintainer

PhoneEmail

PhoneEmail
Get the full picture
Sign in to uncover key details.

Is miniKanren your ideal customer?

Let us give you the heads up on whether it's a good time to reach out

Recommended Actions

Illustration of an envelope

miniKanren Tech Stack

A closer look at the technologies used by miniKanren

Top Engineering Software Companies

Frequently Asked Questions Regarding miniKanren

What is miniKanren's official website?
miniKanren's official website is www.minikanren.org
What is miniKanren's Revenue?
miniKanren's revenue is <$5 Million
What is miniKanren's SIC code?
miniKanren's SIC: 73,737
What is miniKanren's NAICS code?
miniKanren's NAICS: 51,513
How many employees does miniKanren have?
miniKanren has 11-50 employees
What industry does miniKanren belong to?
miniKanren is in the industry of: Engineering Software, Software, Training
What technology does miniKanren use?
Some of the popular technologies that miniKanren uses are: Vimeo, Rackspace, Varnish
What does miniKanren do?

miniKanren is a family of Domain Specific Languages designed for logic programming, originating from a Japanese term meaning relation. The core language is simple, featuring three logical operators and one interface operator, and has been implemented in various programming languages including Scheme, Racket, and Python. It is intended for developer... s and researchers interested in logic programming, offering extensions for Constraint Logic Programming and probabilistic logic programming. The platform also hosts workshops and online courses to engage participants in miniKanren projects and discussions.Read More

What are miniKanren social media links?
miniKanren Twitter page
Is miniKanren a public company?
miniKanren is private company therefore does not currently have an official ticker symbol
See more information about miniKanren

Get Started with ZoomInfo

Register for free

Sign Up for Free

Get started for free! No credit card needed. Enjoy up to 25 free contacts each month at no cost.
Elevate your prospecting to the next level

Supercharge Your Prospecting

Search ZoomInfo's database of 106M+ companies and 140M+ professionals to find your next lead.
Expand your business

Grow Your Business

Reveal both personal and business contact details, including emails and phone numbers, and close your most valuable buyers.