fiat

This is FIAT. FIAT was previously maintained as part of the FEniCS project (https://github.com/fenics/fiat)

Stars

5

Forks

7

Language

Python

Last Updated

Jun 13, 2023

Similar Repos
Repo Language Stars Description Updated At
Python 33 FIAT is now maintained at https://github.com/firedrakeproject/ Feb 21, 2022
C# 1348 This is the codebase for Entity Framework 6 (previously maintained at https://entityframework.codeplex.com). Entity Framework Core … Aug 08, 2022
C# 2 This is the codebase for Entity Framework 6 (previously maintained at http://entityframework.codeplex.com). Entity Framework Core … Oct 14, 2022
PHP 6 The code was moved to https://github.com/queue-interop/queue-interop. This repository is not maintained. Jan 28, 2023
None 161 This project was moved to: https://github.com/coax-dev/coax Apr 27, 2022
Python 13 This project is now maintained here: https://github.com/bernieke/python-magento Aug 13, 2019
Python 4 This was part of my uni project. Aug 14, 2019
PHP 2 Previously https://github.com/johnitvn/yii2-ajaxcrud Oct 02, 2021
Python 22 This project is now maintained at the OCA at https://github.com/OCA/search-engine Jan 29, 2022
Python 178 ⚠️WARNING: This project now become part of https://github.com/j3ssie/Metabigor project Jun 22, 2022
C 461 This project is not maintained, please use https://github.com/espressif/esp-at. Jul 29, 2022
Perl 19 The code which was previously used at https://dns-api.org/ Nov 22, 2021
C++ 2 This repository is a mirror of https://bitbucket.org/fenics-project/dolfin/ Jun 01, 2023
Go 4 Obsolete: This project moved to a part of https://github.com/pankona/hashira Jun 09, 2019
JavaScript 2 This project is the second version of the go-barber app which was previously developed Sep 02, 2021
JavaScript 49 This project no longer maintained, please use https://github.com/ali-sdk/ots2 instead. Oct 11, 2021
Python 99 NOTE: this project is now maintained by @zlorf: https://github.com/zlorf/django-dbsettings/ Oct 17, 2021
Dockerfile 85 DEPRECATED: This project was moved and renamed to: https://github.com/ansible/awx-operator Apr 11, 2022
Java 3 This project is no longer maintained. Please see https://github.com/PDFTron/webviewer-cordova-sample. Nov 24, 2020
PHP 19 This project is no longer maintained, please consider this instead: https://github.com/sentanos/roblox-js-server Oct 20, 2022
C++ 2 This project was part of the optimization course - Software Programming for Performance May 02, 2022
C 2 This codes was inspired by https://github.com/fogleman/Quads Jan 07, 2021
Shell 2 This repo was moved to https://github.com/QSCTech/zjunet. Dec 17, 2019
None 6 Note: The maintained version of this readme.md template can be found at https://github.com/hinell/project-boilerplate May 10, 2020
TypeScript 104 This project has been migrated and is now part of https://github.com/wslyvh/useWeb3 May 13, 2022
Go 38 This software is currently maintained at https://github.com/taktv6/tflow2 Jan 03, 2022
Go 4 This repository moved and maintained here: https://github.com/infiniteloopcloud/json Mar 01, 2023
Ruby 11 DEPRECATED: This project was moved to another location - https://github.com/accessd/rails-settings-ui Sep 12, 2019
Python 19 This project is no longer maintained. Visit https://github.com/nexB/scancode.io/ instead for similar and current project Feb 11, 2021
HTML 2 Tutorial for the FEniCS [22 conference](https://fenicsproject.org/fenics-2022/) in San Diego Jul 19, 2022
Python 129 :warning: This project is no longer maintained. Please use this repository https://github.com/FriendsOfGalaxy/galaxy-integration-blizzard Mar 09, 2023
PHP 55 This project is no longer maintained or supported. Please use https://github.com/techjoomla/com_api instead Jun 21, 2022
Dart 3 Maintained repo: https://github.com/srawlins/timezone Aug 22, 2020
Jupyter Notebook 3 This project is part of the submission to the https://github.com/myelin-foundry/challenge#org9124e2a competition , where the objective … Jun 02, 2020
TypeScript 20 This project is now part of `cubing.js`: https://github.com/cubing/cubing.js/tree/master/src/bluetooth May 20, 2021
TypeScript 60 This project is now part of `cubing.js`: https://github.com/cubing/cubing.js/tree/master/src/twisty Jun 13, 2022
HTML 2 this repository was deprecated. visit https://github.com/HelloWorld20/article instead Jun 10, 2021
None 24 This WG was dechartered, replaced by https://github.com/nodejs/i18n May 14, 2022
JavaScript 3 This plugin is maintained at: https://github.com/MarkusEh/vdr-plugin-live Jan 28, 2023
Objective-C 9 Not actively maintained, see this fork instead: https://github.com/sillage/qltorrent Apr 14, 2023
PHP 20 THIS PROJECT IS NO LONGER MAINTAINED by KnpLabs - !!! DEPRECATED. Use https://github.com/Behat/MinkExtension-example instead !!! Jan 27, 2023
C++ 118 This project is no longer maintained. There's a successor at https://github.com/zeek/zeek-agent-v2 Jul 09, 2022
Rust 6 This crate was moved into the main `fiberplane` repo: https://github.com/fiberplane/fiberplane Mar 31, 2023
C# 17 An async/await enabled extension for https://github.com/kpi-ua/X.PagedList (previously https://github.com/TroyGoode/PagedList) Nov 26, 2019
Swift 122 This view is also part of SwiftUIKit: https://github.com/danielsaidi/SwiftUIKit Jan 31, 2023
PHP 2 Now maintained at https://github.com/bahaidev/BADIPagesCreatedLinks Jan 28, 2023
Common Lisp 29 Actively maintained at https://github.com/grammatech/elf Jan 28, 2023
None 85 This project was moved to https://github.com/camunda/camunda-bpm-platform/tree/master/test-utils/assert Jun 13, 2022
Shell 3 dockerizing this project: https://github.com/Bashfuscator/Bashfuscator Jun 03, 2021
JavaScript 5 This reporitory was moved to https://github.com/wultra/powerauth-server repository Aug 08, 2022