Lambda-Calculus VS Skid

Compare Lambda-Calculus vs Skid and see what are their differences.

Lambda-Calculus

A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime (by Demuirgos)
Parsers Interpreter lambda-calculus Fsharp Functional programming dotnet-core dotnet5
Source Code
Suggest alternative
Edit details

Skid

Simple, single-file portable CLI utility for configuration templating (by Meyhem)
Configuration Management Configuration Templating
Source Code
Suggest alternative
Edit details
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
Lambda-Calculus Skid
4 1
13 5
- -
0.0 0.0
10 months ago over 1 year ago
F# F#
MIT License MIT License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

Lambda-Calculus

Posts with mentions or reviews of Lambda-Calculus. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-01.
  • What are you working on? (2022-09)
    1 project | /r/fsharp | 1 Sep 2022
    Working on applying type theory basics on my lambda calculus based language, (currently added types, and thinking abt adding generics over types). Git repo : LambdaCalculus
  • What are you working on? (2021-12)
    8 projects | /r/fsharp | 1 Dec 2021
    I'm trying to make a simple Prototype language that gets transpiled to Lambda-Calc primitives, here is the project repo Project Repo, It works for simple stuff but still needs a lot of work
  • What are you working on? (2021-11)
    5 projects | /r/fsharp | 1 Nov 2021
    I just finished working on a Lambda-Calculus based project where I remade FParsec from scratch and using it I built an interpreter for Lambdas, and added a minimal ML like abstraction over it to allow for easy definition of terms, here is the repo Lambda-Calculus-Repo
  • What are you working on? (2021-03)
    4 projects | /r/fsharp | 1 Mar 2021
    I'm trying to add an ML like abstraction to this lambda-calc project https://github.com/DemuirGos/Lambda-Calculus next thing will be attempting some blockchain projects

Skid

Posts with mentions or reviews of Skid. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-11-01.

What are some alternatives?

When comparing Lambda-Calculus and Skid you can also consider the following projects:

WebFrame - F# framework for rapid prototyping with ASP.NET Core.

Zelda1RandoTools - tools for zelda 1 randomizer

Perla - A cross-platform tool for unbundled front-end development that doesn't depend on Node or requires you to install a complex toolchain

Diffract - A .NET library to perform structural diff between two objects

kensaku - Quick and easy search for Japanese kanji, radicals, and words

fsharp_godot_example - A somewhat simple example project for using F# with Godot.

financial-sharp - 💹 Collection of elementary financial functions

LambdaCalculusFSharp - λ calculus library made purely in and for F#

MongoDB.FSharp - Silent utilities to make the official MongoDB driver feel natural to work with in F#

FormallySharp - Online formal language designer

Lambda-Calculus vs WebFrame Skid vs Zelda1RandoTools Lambda-Calculus vs Zelda1RandoTools Skid vs WebFrame Lambda-Calculus vs Perla Skid vs Diffract Lambda-Calculus vs kensaku Lambda-Calculus vs fsharp_godot_example Lambda-Calculus vs financial-sharp Lambda-Calculus vs LambdaCalculusFSharp Lambda-Calculus vs MongoDB.FSharp Lambda-Calculus vs FormallySharp