134 Open source projects that are alternatives of or similar to lambda-notebook

Political Discourse Analysis Using Pre-Trained Word Vectors.

*SEM 2018: Learning Distributed Event Representations with a Multi-Task Approach

A modern proof language

Unifying Cross-Lingual Semantic Role Labeling with Heterogeneous Linguistic Resources (NAACL-2021).

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

A community-driven ontology for the representation of environments

This is a repository created for the list of resources for learning and exploring Wonderful Polish language.

⛪️ Church Encoding in JS

Феминизатор слов

Formalisation of the linear lambda calculus in Coq

Extracting high level semantic information from binary code

An interpreter for learning and exploring pure λ-calculus

Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat

A RDF vocabulary for OER content on the web.

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Semantically consistent regularizer for zero-shot learning

🐦 Some combinators

An online book focusing on Go syntax/semantics and runtime related things

Fun with λ calculus!

The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.

λtext - higher-order file applicator

An implementation of the Watset clustering algorithm in Java.

A library for functional programming in Rust

Language Acquisition Research Tools

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

🗺️ Community curated and predicted equivalences and related mappings between named biological entities that are not available from primary sources.

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)

Bologna Optimal Higher-Order Machine, Version 1.1

Tweets when words are published for the first time in the NYT

This is an experiment based on Accessibility Object Model (AOM). It tries to demonstrate that it is theoretically possible (in a certain way) to predict what the screen reader will say by focusing on semantic and non semantic elements with a bit of automated testing, thus reducing the need for manual testing.

Efficient and single-steppable ULC evaluation algorithm

Elsa is a lambda calculus evaluator

An interactive theorem prover based on lambda-tree syntax

Coq formalizations of functional languages.

🎁 3,000,000+ Unsplash images made available for research and machine learning

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

Essential NLP & ML, short & fast pure Python code

An implementation of the Formality language in JavaScript

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

(λ) Educational lambda calculus interpreter

R package for linguistic cartography and typological databases search

implementation of Pure Type Systems (PTS) in Rust.

Compositional Generalization in Natual Language Processing. A roadmap.

A statically-typed strictly-evaluated garbage-collected readable programming language.

A minimalist pure lazy functional programming language

Some incremental examples suitable to host an AWS Lambda Functions workshop

Code and data of the AAAI-20 paper "Towards Building a Multilingual Sememe Knowledge Base: Predicting Sememes for BabelNet Synsets"

Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

Book: Gentle Introduction to Dependent Types with Idris

十分钟魔法练习

Source code for Delving Deeper into the Decoder for Video Captioning

🔮 Estudos obscuros de programação funcional

Poetic processing, for Python.

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A core language for rule-based hardware design 🦑

Official releases of the PROIEL treebank of ancient Indo-European languages

Church Encoding Implementation in JavaScript

Max-Margin Markov Graph Models for WordNet (EMNLP 2018)