Examples of lambda calculus implementations using Typescript
☆10Dec 30, 2022Updated 3 years ago
Alternatives and similar repositories for lambda-calculus-typescript
Users that are interested in lambda-calculus-typescript are comparing it to the libraries listed below
Sorting:
- Cloud Native Development Patterns and Best Practices, published by Packt☆28Jan 30, 2023Updated 3 years ago
- Mirrors the FHIR SVN repo (via git-svn)☆11Jan 21, 2021Updated 5 years ago
- ☆13Updated this week
- run promises in chunks☆10Jun 14, 2021Updated 4 years ago
- RedwoodSDK website☆18Updated this week
- 🤖 Automation tool that fetches data from Jira API by current git branch and uses prepare-commit-msg hook☆13Nov 21, 2022Updated 3 years ago
- This sample application demonstrates using the AWS SDK for Swift in a AWS Lambda function. It uses Docker to compile and package the func…☆13Apr 10, 2025Updated 10 months ago
- React Application Template for creating portals with Embedded Tableau Dashboards☆11Jun 7, 2022Updated 3 years ago
- Stable and secure local docker development environment☆13Jan 28, 2018Updated 8 years ago
- Scala explained with code snippets☆10Dec 9, 2018Updated 7 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- implementing a simplified, subset of PromiseKit for an upcoming book☆11Sep 19, 2017Updated 8 years ago
- My exercises for Haskell: First Principles☆10Oct 16, 2018Updated 7 years ago
- (proof-of-concept) A node.js implementation of the CloudApp backend that allows you to use their client, but with your own s3 bucket.☆20Nov 15, 2010Updated 15 years ago
- Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo☆13Jun 30, 2014Updated 11 years ago
- A few Clio examples☆14Oct 11, 2021Updated 4 years ago
- Very informative textbooks about electricity and eletronics☆17Jan 5, 2016Updated 10 years ago
- ☆28Sep 8, 2016Updated 9 years ago
- ☆22Sep 30, 2015Updated 10 years ago
- 2d game library for go☆11Apr 7, 2021Updated 4 years ago
- PEG (parsing expression grammar) compiler for PHP☆12Oct 13, 2024Updated last year
- Backport Python 3.8+ typing utils & add issubtype & more☆12Nov 9, 2022Updated 3 years ago
- Learn more Clojure and Interactive Programming with Exercism in the browser☆11Sep 13, 2021Updated 4 years ago
- Automatic Saving For Eclipse 4☆17Jun 2, 2015Updated 10 years ago
- ☆12Jul 14, 2022Updated 3 years ago
- Angular Elements with ProseMirror☆12May 5, 2018Updated 7 years ago
- A boilerplate template project for building a subgraph with async-graphql☆13Feb 9, 2026Updated 2 weeks ago
- Formal definition and utility functions lib for the MBQL language☆12Aug 10, 2020Updated 5 years ago
- Advent Of Code solutions in Haskell☆11Dec 8, 2019Updated 6 years ago
- ☆13Nov 29, 2015Updated 10 years ago
- Easily create Multipart or Json form requests in Go☆15Feb 28, 2015Updated 11 years ago
- Standalone Repository of AWS Lambda Client from soto-project/soto☆11Sep 14, 2020Updated 5 years ago
- A docker image that outputs a RUN instruction documenting the specific version dependencies for a package☆15Feb 21, 2015Updated 11 years ago
- Website to convert between GeoJSON and WKT formats☆13Jun 21, 2024Updated last year
- Write reusable JavaScript functions using Asynchronous Module Definitions☆11May 18, 2022Updated 3 years ago
- Some TypeScript utils☆21Oct 5, 2022Updated 3 years ago
- Vim config file specially focus on Rails programming.☆29Jan 15, 2019Updated 7 years ago
- Go concurrent GC pacing simulator☆11Aug 17, 2015Updated 10 years ago
- Maven plugin for Vagrant.☆33Jun 18, 2016Updated 9 years ago