SOFTWAREEXELLENCE

SOFTWAREEXELLENCE's Stars

• rumpkernel/wiki

  Wiki for rump kernels

  46126

• erlware/relx

  Sane, simple release creation for Erlang

  Language:Erlang697232

• puffnfresh/roy

  Small functional language that compiles to JavaScript.

  Language:JavaScript83574

• etnt/Haskerl

  Haskell subset compiled to the Beam machine.

  Language:Haskell412

• rvirding/erlog

  Prolog interpreter in and for Erlang

  Language:Erlang37144

• etnt/eml

  Erlang flavored by Some ML

  Language:Erlang364

• the-concurrent-schemer/scm

  [UNMAINTAINED] The Concurrent Schemer

  Language:Erlang1198

• lfe/lfe

  Lisp Flavoured Erlang (LFE)

  Language:Erlang2.3k141

• joxa/joxa

  A Modern Lisp for the Erlang VM

  Language:Erlang46349

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.9k1.1k

• akka/akka

  Build highly concurrent, distributed, and resilient message-driven applications on the JVM

  Language:Scala13k3.6k

• djspiewak/parseback

  A Scala implementation of parsing with derivatives

  Language:Scala19722

• intel-analytics/ipex-llm

  Accelerate local LLM inference and finetuning (LLaMA, Mistral, ChatGLM, Qwen, Mixtral, Gemma, Phi, MiniCPM, Qwen-VL, MiniCPM-V, etc.) on Intel XPU (e.g., local PC with iGPU and NPU, discrete GPU such as Arc, Flex and Max); seamlessly integrate with llama.cpp, Ollama, HuggingFace, LangChain, LlamaIndex, vLLM, GraphRAG, DeepSpeed, Axolotl, etc

  Language:Python6.7k1.3k

• blei-lab/edward

  A probabilistic programming language in TensorFlow. Deep generative models, variational inference.

  Language:Jupyter Notebook4.8k759

• LuxLang/lux

  The Lux Programming Language

  Language:Emacs Lisp1.7k50

• ring-clojure/ring

  Clojure HTTP server abstraction

  Language:Clojure3.8k520

• facebookarchive/duckling_old

  Deprecated in favor of https://github.com/facebook/duckling

  Language:Clojure1.3k217

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.3k257

• caiorss/Functional-Programming

  Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

  Language:Haskell2.7k158

• typelead/eta

  The Eta Programming Language, a dialect of Haskell on the JVM

  Language:Haskell2.6k145

• factor/factor

  Factor programming language

  Language:Factor1.6k210

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.5k1.1k

• fsharp/fsharp

  Please file issues or pull requests here: https://github.com/dotnet/fsharp

  Language:F#2.2k319

• apache/groovy

  Apache Groovy: A powerful multi-faceted programming language for the JVM platform

  Language:Java5.2k1.9k

• racket/racket

  The Racket repository

  Language:Racket4.8k662

• gkz/LiveScript

  LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming.

  Language:LiveScript2.3k156

• Frege/frege

  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

  Language:Frege3.6k145

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.5k664

• erlang/otp

  Erlang/OTP

  Language:Erlang11.4k3k

• scala/scala

  Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

  Language:Scala14.3k3.1k