elsa.js is a lambda calculus evaluator in JavaScript
☆10Apr 14, 2020Updated 6 years ago
Alternatives and similar repositories for elsajs
Users that are interested in elsajs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- UCSD ECE 276A Winter 2020 Project 2: Particle Filter SLAM☆13Dec 8, 2022Updated 3 years ago
- UCSD ECE 276A Winter 2020 Project 3: Visual-Inertial SLAM☆20Dec 8, 2022Updated 3 years ago
- NTUEE Machine Learning, 2017 Spring☆31Sep 15, 2017Updated 8 years ago
- ☆38Jan 30, 2019Updated 7 years ago
- Run HLint as part of normal compilation☆46Aug 11, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Experiments to Improve Accessibility to Data Visualization☆12Jan 29, 2026Updated 7 months ago
- Official Implementation of SERIL in Pytorch☆27Sep 29, 2020Updated 5 years ago
- Extract mfcc vectors and phones from TIMIT dataset☆17Mar 23, 2023Updated 3 years ago
- ☆17Feb 28, 2018Updated 8 years ago
- Tensorflow implementation of "Listen, Attend and Spell" authored by William Chan. This project utilizes input pipeline and estimator API …☆90Jan 31, 2019Updated 7 years ago
- A Python package to flatten Solidity code with imports into a single file☆20May 11, 2021Updated 5 years ago
- tf-recsys contains collaborative filtering (CF) model based on famous SVD and SVD++ algorithm. Both of them are implemented by tensorflow…☆94Dec 19, 2019Updated 6 years ago
- go-cfr implements several forms of Counter Factual Regret minimization in Golang☆23Jan 28, 2025Updated last year
- 30 天 Javascript 從入門到進階 (已經移植到 tigercosmos.xyz)☆61Jun 12, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Simulating on GPU using Material Point Method and rendering.☆125Jun 22, 2018Updated 8 years ago
- Snow simulation based on Disney's MPM Snow Paper☆24Aug 25, 2015Updated 11 years ago
- This program allows you to control your mouse by using a webcam☆28Jun 22, 2016Updated 10 years ago
- ☆32Jun 2, 2018Updated 8 years ago
- Query-based Attention CNN for Text Similarity Map☆31Jan 28, 2018Updated 8 years ago
- Automated theorem prover for first-order predicate logic written in TypeScript☆28Jan 4, 2023Updated 3 years ago
- Parse the `mappings` field in source maps☆41Feb 26, 2018Updated 8 years ago
- Just import c code in your JavaScript project☆38May 29, 2018Updated 8 years ago
- VSCode extension for running and testing Competitive Programming solutions☆40Apr 9, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 2017 Spring (105-2) -- Machine Learning☆38May 11, 2021Updated 5 years ago
- speech enhancement GAN on waveform/log-power-spectrum data using Improved WGAN☆36Apr 16, 2018Updated 8 years ago
- Snow simulation based on Disney's "The material point method for Snow Simulation" paper using Qt and CUDA☆47Jan 15, 2018Updated 8 years ago
- Implementation of counterfactual regret minimization (CFR) for Texas hold'em poker☆53Jun 23, 2021Updated 5 years ago
- 通过Vue.js 1.0版本结合CNode的API编写的Web APP☆31May 28, 2022Updated 4 years ago
- A cross-browser, numerically stable algorithm that adds floats accurately in Javascript☆50Jul 19, 2026Updated last month
- 在Youtube上面顯示PTT推文☆68Dec 3, 2023Updated 2 years ago
- A spoken question answering dataset on SQUAD☆52May 3, 2025Updated last year
- A curated list of awesome chinese fonts☆51Jun 5, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Online Judge is a programming contest judge built with Node.js (Express), AngularJS, PostgreSQL, and Docker☆57Dec 8, 2013Updated 12 years ago
- Python implementation of the Histogram of Oriented Gradients.☆73Mar 12, 2020Updated 6 years ago
- A question answering dataset for machine comprehension of spoken content☆82Jun 3, 2018Updated 8 years ago
- A simple vue-apollo typescript example app☆56Aug 12, 2017Updated 9 years ago
- A guide to using Python and OpenCV2 to create an application that can recognize hand gestures/movements.☆114Jul 10, 2019Updated 7 years ago
- EDA Playground -- The FREE IDE for SystemVerilog, Verilog, and VHDL☆73Jul 21, 2026Updated last month
- Full C to MIPS assembly compiler☆49Oct 11, 2017Updated 8 years ago