Wren is a small, fast, class-based concurrent scripting language

• Wren

  7 6,493 0.0 Wren

  The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

  

  Well, basically I copied the second link from https://github.com/wren-lang/wren/wiki/Language-Bindings just randomly; I didn't think to check the release date to be honest with you, my bad.

  The other Rust projects seems more updated, like https://github.com/Jengamon/ruwren was last updated in May 9.

• Agda

  13 2,208 9.6 Haskell

  Agda is a dependently typed programming language / interactive theorem prover.

  

  Agda is fun[1]. And there's also Idris[2] - more programming language, less proof assistant.

  [1] https://wiki.portal.chalmers.se/agda/pmwiki.php https://github.com/agda/agda

• Mergify

  blog.mergify.com

  sponsored

  Updating dependencies is time-consuming.. Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

  

• wren-rs

  0 3 10.0 Rust

  Bindings for the Wren programming language

• Tiny

  0 129 0.0 C

  A very small statically-typed embeddable scripting language. (by goodpaul6)

  I’m currently working on Tiny [0], a small statically typed programming languages which is even more minimal than Wren.

  [0] https://github.com/goodpaul6/Tiny

• ruwren

  0 31 1.9 Rust

  A Rustified binding for Wren

  Well, basically I copied the second link from https://github.com/wren-lang/wren/wiki/Language-Bindings just randomly; I didn't think to check the release date to be honest with you, my bad.

  The other Rust projects seems more updated, like https://github.com/Jengamon/ruwren was last updated in May 9.

• tl

  18 1,724 0.0 Lua

  The compiler for Teal, a typed dialect of Lua

  

  In the lua realm, there is teal. It is very much like typescript to javascript

  https://github.com/teal-language/tl

• mun

  5 1,626 0.0 Rust

  Source code for the Mun language and runtime.

  

  There's mun [1] which is statically typed and AOT compiled.

  1: https://github.com/mun-lang/mun

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• TIC-80

  42 4,299 0.0 C

  TIC-80 is a fantasy computer for making, playing and sharing tiny games.

  TIC-80 [1] (the open-source Pico-8-like fantasy console) supports writing games in Wren.

  [1] https://tic80.com/

• wiwinwlh

  3 2,492 0.0 Haskell

  What I Wish I Knew When Learning Haskell

  Many libraries try to stick to Haskell 98. Also whenever someone writes a paper about some new techniques, they always seem to take a lot of pleasure in pointing out when their technique works in Haskell 98.

  I like that you can mix and match GHC extensions even in the same project. So one library (or even just one module) might use some crazy and messy extensions, but you can still use it from vanilla Haskell.

  http://dev.stephendiehl.com/hask/#language-extensions has a list of extensions and some judgement on them.

  For example, I really like TupleSections. They are not strictly necessary for anything, they are purely cosmetic / syntactic sugar. But they also don't cause any mess. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/tupl...

  Also: TypedHoles are really neat for developing, and will never show up in your final code. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type...

Suggest a related project