Skip to content

@fxpl fxpl

Change the repository type filter

All

    Repositories list

    19 repositories

    • sa-frontend

      Public
      Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)
      TypeScript
      •
      Apache License 2.0
      •194•1•19•2•Updated Apr 22, 2026Apr 22, 2026

    • sa-backend

      Public
      Backend of Source Academy @ NUS, LMS extension of Source Academy (Elixir, Ecto, Phoenix, PostgreSQL)
      Elixir
      •
      Apache License 2.0
      •68•1•0•0•Updated Apr 20, 2026Apr 20, 2026

    • bocpy

      Public
      Behavior-Oriented Concurrency in Python
      Python
      •
      MIT License
      •2•0•0•0•Updated Apr 17, 2026Apr 17, 2026

    • cpython

      Public
      The Python programming language
      Python
      •
      Other
      •34k•7•16•9•Updated Apr 16, 2026Apr 16, 2026

    • scyros

      Public
      A framework to design sound, reproducible and scalable mining repository studies on GitHub.
      githubdata-miningcode-analysis
      githubdata-miningcode-analysisrepository-mining
      Rust
      •
      Apache License 2.0
      •3•1•0•0•Updated Apr 10, 2026Apr 10, 2026

    • pyrona-artifact

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 9, 2026Apr 9, 2026

    • scyros-tutorial

      Public
      A tutorial to get started with Scyros: https://github.com/fxpl/scyros
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 15, 2026Mar 15, 2026

    • stainless-tutorial

      Public
      Scala
      •0•0•0•0•Updated Jan 21, 2026Jan 21, 2026

    • trieste-while

      Public
      Trieste development of the While language
      C++
      •3•0•0•0•Updated Dec 2, 2025Dec 2, 2025

    • stainless-float-benchmarks

      Public
      Floating-point benchmarks for Stainless
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 29, 2025Oct 29, 2025

    • trieste-miniml

      Public
      Trieste implementation of MiniML with type inference
      C++
      •2•0•0•0•Updated Oct 24, 2025Oct 24, 2025

    • jdk

      Public
      JDK main-line development https://openjdk.org/projects/jdk
      Java
      •
      GNU General Public License v2.0
      •6.3k•0•0•0•Updated Sep 30, 2025Sep 30, 2025

    • frankenscript

      Public
      A tool to explore and visualize region-based ownership in dynamic programming languages.
      C++
      •
      MIT License
      •1•10•8•2•Updated Aug 5, 2025Aug 5, 2025

    • gitmem

      Public
      C++
      •2•0•0•1•Updated Jul 1, 2025Jul 1, 2025

    • node-samsung-emdx

      Public
      Show an image on a Samsung EMDX E-Paper Display from the command line.
      JavaScript
      •9•0•0•0•Updated May 20, 2025May 20, 2025

    • harbour

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • pf

      Public
      A LaTeX package for doing proof by cases
      TeX
      •0•0•0•0•Updated Apr 21, 2023Apr 21, 2023

    • notebooks

      Public
      Java
      •1•1•0•1•Updated Apr 27, 2021Apr 27, 2021

    • marielund

      Public
      Compute kernel for stencil applications in C++ and Java
      C++
      •0•0•0•0•Updated Apr 27, 2021Apr 27, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.