Caledon - Logic Programming Language

  •        0

Caledon is a dependently typed, polymorphic, higher order logic programming language. ie, everything you need to have a conversation with your computer. A language/system for conversing with the machine in a manner less one sided and instructional than regular programming. It is good at defining DSLs.

https://github.com/mmirman/caledon

Tags
Implementation
License
Platform

   




Related Projects

TyRuBa: logic programming language


TyRuBa, a logic-programming language for Java, implemented in Java. TyRuBa was originally intended as language for writing logic-meta programs that generate Java code. It is however, just a normal logic language, with a few peculiarities.

tribool - Ternary (tree-valued) logic package for the Go programming language.


Ternary (tree-valued) logic package for the Go programming language.

mercury - The logic/functional programming language Mercury


The logic/functional programming language Mercury

Prolog - The Prolog logic programming language


The Prolog logic programming language

habeas - Linear Logic as a programming language (learning project)


Linear Logic as a programming language (learning project)

l10 - The L10 Logic Programming Language


The L10 Logic Programming Language

kotlin - Statically Typed Programming Language for the JVM


Kotlin is a statically typed programming language that compiles to JVM byte codes and JavaScript. Java programming language has certain limitations and problems that are either impossible or very hard to fix due to backward-compatibility issues. This new statically typed JVM-targeted language free of the legacy has features include compilation at least as fast as Java, variable type inference, higher-order functions (closures), extension functions, code in interfaces, first-class delegation etc

Seed7


Interpreter and compiler for the Seed7 programming language.

Eta - A powerful language for building scalable systems on the JVM


Eta is a pure, lazy, strongly typed functional programming language on the JVM. It is a dialect of Haskell on the JVM. It is pure by default which means that calling a function with the same arguments will yield the same results every time. It is lazy by default which means that data stays in unevaluated state until a function needs to peek inside.

Stencil - Stencil is a simple and powerful template language for Swift.


Stencil is a simple and powerful template language for Swift. It provides a syntax similar to Django and Mustache. If you're familiar with these, you will feel right at home with Stencil.If you have a background in programming, or if you’re used to languages which mix programming code directly into HTML, you’ll want to bear in mind that the Django template system is not simply Python embedded into HTML. This is by design: the template system is meant to express presentation, not program logic.

Groovy - A dynamic language for the Java platform


Groovy is a powerful, optionally typed and dynamic language, with static-typing and static compilation capabilities, for the Java platform aimed at multiplying developers’ productivity thanks to a concise, familiar and easy to learn syntax. It integrates smoothly with any Java program, and immediately delivers to your application powerful features, including scripting capabilities, Domain-Specific Language authoring, runtime and compile-time meta-programming and functional programming.

Python - Programming Language


Python is a remarkably powerful dynamic programming language that is used in a wide variety of application domains. It is embeddable within applications as a scripting interface. Build flexible data-driven code using Python's powerful and dynamic introspection capabilities and advanced language features such as meta-classes, duck typing and decorators.

Ruby - Programming Language


A dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write. The syntax inspired by Perl with Smalltalk-like features. It was also influenced by Eiffel and Lisp. It is a scripting language that is more powerful than Perl, and more object-oriented than Python.

IronPython - Python programming language for the .NET Framework


IronPython is an open-source implementation of the Python programming language which is tightly integrated with the .NET Framework. IronPython can use the .NET Framework and Python libraries, and other .NET languages can use Python code just as easily. It supports an interactive console with fully dynamic compilation.

SharpDevelop Plugin For Cobra Programming Language


SharpDevelop plugin for COBRA programming language makes it easier for cobra programmers to work on windows. It is developed in C#. It is primitive and not official. Cobra Programming Language has been created by Mr. Chuck Esterbrook. Plugin for COBRA Programming Language.

pinapl - PINAPL Is Now A Programming Language: an image-based esoteric programming language!


PINAPL Is Now A Programming Language: an image-based esoteric programming language!

Mercury


Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.

Elm - Functional Reactive Programming Language compiles to Javascript


Elm is a functional reactive programming (FRP) language that compiles to HTML, CSS, and JS. FRP is a concise and elegant way to create highly interactive applications and avoid callbacks. It aims to make web development more pleasant. Functional Reactive Programming (FRP) is a high-level way to work with interactions. It provides control flow structures for time.

Zig - System programming language intended to replace C


Zig is a a system programming language intended to replace C. Zig intends to remain a small language, yet powerful enough to write optimal, readable, safe, and concise code to solve any computing problem. Porting a C project to Zig should be a pleasant experience - every C feature needs a corresponding Zig feature which solves the problem equivalently or better.

Opa - Elegant language for Web


Opa is a concise and elegant language for writing scalable and distributed web applications. Opa pushes boundaries of the state of the art in web security by making its application immune to XSS attacks, SQL injections and more. Opa is designed to get you to your finished app faster, concentrating only on the interesting parts, without the hassle of writing the glue or of using a programming language against its original design.