trepplein
scala
Our great sponsors
| trepplein | scala | |
|---|---|---|
| 2 | 45 | |
| 26 | 14,276 | |
| - | 0.1% | |
| 0.0 | 9.8 | |
| about 2 years ago | 5 days ago | |
| Scala | Scala | |
| Apache License 2.0 | Apache License 2.0 |
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.
trepplein
-
Automated Theorem Provers?
The default kernel used is fairly large, since it does some optimisations for interactivity. However there are 3 independent checkers for Lean's output format, https://github.com/gebner/trepplein, https://github.com/leanprover/lean/tree/master/src/checker and https://github.com/leanprover/tc . They're all fairly small, with leanchecker being less than 1000 loc.
-
Formalising Mathematics: An Introduction
Lean allows for third party type checkers. There are relatively small alternative type checkers for Lean, e.g. [1].
Lean's power lies in its elaborator that breaks down complex tactic-based proofs to a core proof language. This elaboration process can be extended with custom tactics, making it way more powerful than metamath.
[1] https://github.com/gebner/trepplein/tree/master/src/main/sca...
scala
-
Groovy 🎷 Cheat Sheet - 01 Say "Hello" from Groovy
Recently I had to revisit the "JVM languages universe" again. Yes, language(s), plural! Java isn't the only language that uses the JVM. I previously used Scala, which is a JVM language, to use Apache Spark for Data Engineering workloads, but this is for another post 😉.
-
Top Paying Programming Technologies 2024
8. Scala - $96,381
-
Server side(Backend) programming languages
Scala
-
Functional Programming Library for Golang by IBM
Big Scala vibes here, see also [1].
1: https://github.com/scala/scala/blob/v2.13.11/src/library/sca...
-
Scala 2.13.11 and 2.12.18 are here
For details, refer to the release notes on GitHub: * https://github.com/scala/scala/releases/tag/v2.13.11 * https://github.com/scala/scala/releases/tag/v2.12.18
-
Scala vs Java -The Ultimate Showdown
Scala is the next-generation Java virtual machine (JVM) language that is rapidly gaining popularity as a modern alternative to Java.
-
Modern SAT solvers: fast, neat and underused (2018)
Compiling Scala without a SAT solver is probably too difficult.
The CNF Converter is a gem.
https://github.com/scala/scala/blob/v2.13.5/src/compiler/sca...
-
Data Engineering and DataOps: A Beginner's Guide to Building Data Solutions and Solving Real-World Challenges
In addition to Structured Query Language(SQL), we can also use a variety of different programming languages, such as Python, Java, JavaScript, R, Julia, Scala, or any other programming language as long as it supports a basic database connection and functions to perform all of those operations, to connect to databases and perform more advanced query operations on the data. This gives us greater flexibility and allows us to apply custom-created logic to the data.
-
A Small Introduction to Functional Programming
Based on Lambda Calculus, developed by Alonzo Church in the 1930s, functional programming has been implemented in mainstream programming languages like JavaScript, Python and Java. Programming languages like Erlang, Haskell or Scala are better suited for functional programming as they are designed to be functional first.
-
a child starts crying in public
Scala
What are some alternatives?
CoqGym - A Learning Environment for Theorem Proving with the Coq proof assistant
kotlin - The Kotlin Programming Language.
hott3 - HoTT in Lean 3
rust - Empowering everyone to build reliable and efficient software.
holbert - A graphical interactive proof assistant designed for education
rust - Rust for the xtensa architecture. Built in targets for the ESP32 and ESP8266
Play - The Community Maintained High Velocity Web Framework For Java and Scala.
Playwright - Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
Lila - ♞ lichess.org: the forever free, adless and open source chess server ♞ [Moved to: https://github.com/lichess-org/lila]
Elixir - Elixir is a dynamic, functional language for building scalable and maintainable applications
Angular - Deliver web apps with confidence 🚀
Metals - Scala language server with rich IDE features 🚀